Covering space

A covering map $p:\tilde{X}\to X$ is locally a disjoint union of homeomorphisms onto the same evenly covered open neighbourhood.