Трансверсальность

---

Два гладких подмногообразия ${\displaystyle M}$ и ${\displaystyle N}$, вложенные в объемлющее пространство ${\displaystyle S}$, пересекаются трансверсально в точке ${\displaystyle p}$, если соответствующие касательные пространства ${\displaystyle T_{p}(M)}$ и ${\displaystyle T_{p}(N)}$ порождают всё касательное пространство объемлющего многообразия в точке ${\displaystyle p}$, то есть ${\displaystyle T_{p}(M)+T_{p}(N)=T_{p}(S)}$.

---