Kupka-Smale

A diffeomorphism $f$ mapping a smooth manifold $M$ to itself is called a Kupka-Smale diffeomorphism if

1. every periodic point of $f$ is hyperbolic;

2. for each pair of periodic points $p$,$q$ of $f$, the intersection between the stable manifold of $p$ and the unstable manifold of $q$ is transversal.