Universelle Überlagerung
Definition
Eine Überlagerung p: Ũ → X, die einfach zusammenhängend ist (Ũ ist wegzusammenhängend und π1(Ũ) ist trivial) und X überdeckt; falls sie existiert, bildet die universelle Überlagerung auf die Basis ab und jede andere zusammenhängende Überlagerung von X faktorisiert durch sie. Sie ist bis auf homöomorphismus über X eindeutig.