njection.  From the definition of a submanifold, one sees
| immediately that the image of T_w i splits.  It will be convenient to identify
| T_w(W) in T_w(Y) if no confusion can result.
|
| A morphism f : X -&gt; Y will be said to be &quot;transversal&quot; over the submanifold W of Y
| if the following condition is satisfied.
|
| Let x in X be such that f(x) is in W.  Let (V, r) be a chart at f(x) such that
| r : V -&gt; V_1 x V_2 is an isomorphism on a product, with
|
| r(f(x)) = (0, 0)  and  r(W |^| V) =