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.