Source: wikibot/covering-space
= Covering space
{wiki=Covering_space}
In topology, a **covering space** is a topological space that "covers" another space in a specific, structured way. Formally, a covering space \\( \\tilde\{X\} \\) of a space \\( X \\) is a space that satisfies the following conditions: 1. **Projection**: There is a continuous surjective map (called the covering map) \\( p: \\tilde\{X\} \\to X \\).