Es seien Mengen und
-
und
-
Abbildungen. Wir definieren
-
- Zeige, dass es ein kommutatives Diagramm
-
gibt.
- Es sei eine weitere Menge und
und
Abbildungen mit
-
Zeige, dass es eine eindeutig bestimmte Abbildung
-
derart gibt, dass die Projektionen auf
bzw.
mit übereinstimmen.