Gabi Hochster findet Verknüpfungen toll und Relationen doof. Deshalb führt sie die Verknüpfung
-
ein, mit der sie die Größergleichrelation auf den natürlichen Zahlen ausdrücken möchte. Sie definiert
-
- Ist die Verknüpfung kommutativ?
- Berechne und .
- Ist die Verknüpfung assoziativ?