Rationale Zahlen/Größergleichrelation/Wohldefiniert/Aufgabe

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