Es sei X {\displaystyle {}X} ein topologischer Raum und G {\displaystyle {}G} eine Gruppe. Zeige, dass G × X {\displaystyle {}G\times X} , wobei G {\displaystyle {}G} mit der diskreten Topologie versehen wird, in natürlicher Weise eine G {\displaystyle {}G} -Überlagerung von X {\displaystyle {}X} ist.
