Clean intersection (source code)

= Clean intersection

Submanifolds $A,B\subseteq M$ intersect cleanly when $A\cap B$ is an <embedded submanifold> and
$$
T_x(A\cap B)=T_xA\cap T_xB
$$
at every $x\in A\cap B$. A <transverse intersection> is the special case in which $T_xA+T_xB=T_xM$.