Espace de Revêtement

Un espace topologique C muni d'une application continue surjective p : C → X (la projection de revêtement) vers un espace de base X telle que tout point de X admet un voisinage ouvert U pour lequel p^{-1}(U) est une réunion disjointe d'ouverts de C, chacun envoyé par p par un homéomorphisme sur U. Les fibres p^{-1}(x) sont des ensembles discrets et p est un homéomorphisme local.