Überlagerung/Diskret/Definition/Begriff/Inhalt

Die Abbildung ${}p$ heißt Überlagerung, wenn es eine offene Überdeckung  ${}X=\bigcup _{i\in I}U_{i}$  und eine Familie diskreter topologischer Räume ${}F_{i}$, ${}i\in I$, derart gibt, dass ${}p^{-1}(U_{i})$ homöomorph zu ${}U_{i}\times F_{i}$ (versehen mit der Produkttopologie) ist, wobei die Homöomorphien mit den Abbildungen nach ${}U_{i}$ verträglich sind.