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?