Vollständiges Gitter/Quotientenabbildung/Überlagerung/Aufgabe

Aus Wikiversity

Es sei ein vollständiges Gitter und

die kanonische Projektion, wobei der Quotient mit der Quotiententopologie versehen sei. Zeige, dass eine Überlagerung

ist.