Natürliche Zahlen/Ordnungsrelation/Total/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Auf den natürlichen Zahlen

ist durch die Größergleich-Relation eine totale Ordnung definiert.

Zum Beweis, Alternativen Beweis erstellen