Transverse intersection
= Transverse intersection
Submanifolds $A,B\subseteq M$ intersect transversely when $T_xA+T_xB=T_xM$ at every intersection point. The <transverse intersection theorem> then determines the dimension and smoothness of $A\cap B$.