Prägarbe
Es sei
ein
topologischer Raum.
Unter einer
Prägarbe
auf
versteht man eine Zuordnung, die jeder
offenen Menge
eine Menge
und zu je zwei offenen Mengen
eine
Abbildung
-
zuordnet, wobei diese Zuordnung die beiden folgenden Bedingungen erfüllen muss.
- Zu
ist
-

- Zu offenen Mengen
-

ist stets
-
