Revêtement
Définition
Une application continue surjective p : E -> B telle que chaque point b de B possède un voisinage ouvert U pour lequel p^{-1}(U) est une réunion disjointe d'ouverts de E, chacun mappé homéomorphiquement sur U ; ces tranches homéomorphes sont appelées feuillets et p est une projection de revêtement.