Transversally intersecting submanifolds
Definition
Let be a manifold of dimension and be two tame submanifolds of of codimensions and respectively. We say that and intersect transversally if their intersection is nonempty, and for every , there exists an open set in and a homeomorphism from to , under which and get mapped to subspaces and , and gets mapped to .
The condition of intersecting transversally implicitly incorporates the condition that each submanifold is individually tame.