Es sei eine
Prägarbe
auf einem
topologischen Raum
. Unter dem
Ausbreitungsraum
zu versteht man die Menge
-
zusammen mit der Projektion
-
die einem jeden
Keim
seinen Basispunkt zuordnet, versehen mit der Topologie, die durch die
Basis
-
zu offenen Mengen
und Schnitten
definiert wird.