Es sei G {\displaystyle {}G} eine topologische Gruppe und H ⊆ G {\displaystyle {}H\subseteq G} eine Untergruppe. Zeige, dass auf jedem topologischen Raum X {\displaystyle {}X} die Prägarbe C 0 ( − , H ) {\displaystyle {}C^{0}(-,H)} eine Unterprägarbe von C 0 ( − , G ) {\displaystyle {}C^{0}(-,G)} ist.
