Ausbreitungsraum
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.