Maps transversal to foliations Differential topology mathematics