auf einer kompakten Mannigfaltigkeit M definierter Diffeomorphismus ƒ, für den die Menge Ω der nicht-wandernden Punkte hyperbolisch ist, und für den die Menge der periodischen Punkte von f dicht in Ω liegt.