Theorem 4.2 (cf. [1]}, [2]}) If \(M_1\)  and \(M_2\)  are smooth manifolds and \(Z_1\subseteq M_1\)  and \(Z_2\subseteq M_2\)  are closed subsets with Whitney stratifications, then \(\lbrace f\in C^\infty (M_1, M_2): f|_{Z_1}\mbox{ is transverse to }Z_2\rbrace \)  is open and dense in \(C^\infty (M_1, M_2)\)  (with respect to the Whitney topology).

