Transversally intersecting submanifolds

From Diffgeom

Definition

Suppose is a differential manifold and are submanifolds. Then, we say that and intersect transversally if we have the following:

  • The inclusion map from to is a tranversal map to
  • The inclusion map from to is a transversal map to
  • At any point of , we have: