Gabi Hochster/Größergleich als Verknüpfung/Aufgabe

Aus Wikiversity

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

  1. Ist die Verknüpfung kommutativ?
  2. Berechne und .
  3. Ist die Verknüpfung assoziativ?