Revêtement Universel

Un revêtement p : Ũ → X qui est simplement connexe (Ũ est connexe par arcs et π1(Ũ) est trivial) et recouvre X ; lorsqu'il existe, le revêtement universel projette sur la base et tout autre revêtement connexe de X se factorise à travers lui. Il est unique à homéomorphisme au‑dessus de X près.