 Transverse intersection

Submanifolds $A,B\subseteq M$ intersect transversely when $T_{x}A+T_{x}B=T_{x}M$ at every intersection point. The transverse intersection theorem then determines the dimension and smoothness of $A\cap B$.