initial topology

Sei eine Menge, eine Familie von topologische Räumen und eine Familie von Abbildungen. Dann ist die Initialtopologie auf bezüglich definiert durch folgende Eigenschaft universelle Eigenschaft. Sei ein topologischer Raum, so ist eine Abbildung stetig g.d.w. für jedes stetig ist.

• Existenz einer eindeutigen Initialtopologie