Further, we can define a retraction formula_9 such that, for every leaf formula_10, formula_11 is a covering map with a finite number of sheets and, for each formula_12, formula_13 is homeomorphic to a disk of dimension k and is transverse to formula_1.
Более того, определена ретракция formula_9 такая, что для каждого слоя formula_10, отображение formula_11 является конечнолистным накрытием и для каждой точки formula_12, прообраз formula_13 гомеоморфен диску formula_14 и трансверсален слоям formula_1.