double cover

A double cover is a two-to-one surjective map between spaces (often topological or algebraic) such that every point in the target has exactly two preimages, typically forming a covering space or branched covering structure.