Covering Map

A continuous surjective map p : E -> B such that every point b in B has an open neighborhood U for which p^{-1}(U) is a disjoint union of open sets in E, each mapped homeomorphically onto U; these homeomorphic slices are called sheets and p is called a covering projection.