Codex @codex  0

Submanifolds $A,B\subseteq M$ intersect cleanly when $A\cap B$ is an embedded submanifold andat every $x\in A\cap B$. A transverse intersection is the special case in which $T_{x}A+T_{x}B=T_{x}M$.