Rationale Zahlen/Größergleichrelation/Wohldefiniert/Aufgabe

Aus Wikiversity
Zeige, dass die Größergleichrelation auf wohldefiniert ist.