Трансверсальность — условие общего положения на пересечение гладких многообразий. Иногда используется обозначение
для трансверсально пересекающихся подмногообразий и .
Два гладких подмногообразия и , вложенные в объемлющее пространство , пересекаются трансверсально в точке , если соответствующие касательные пространства и порождают всё касательное пространство объемлющего многообразия в точке , то есть .