Espacio de Recubrimiento

Un espacio topológico C junto con una aplicación continua y sobreyectiva p: C → X (la aplicación de recubrimiento) sobre un espacio base X tal que cada punto de X posee una vecindad abierta U para la cual p^{-1}(U) es una unión disjunta de abiertos de C, cada uno de los cuales se manda homeomórficamente sobre U por p. Las fibras p^{-1}(x) son conjuntos discretos y p es un homeomorfismo local.