Ganze Zahlen/Negative Zahlen/Direkt/Anordnungseigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Größergleichrelation auf den ganzen Zahlen erfüllt die folgenden Eigenschaften.

  1. Es liegt eine totale Ordnung vor.
  2. Aus folgt für beliebige ,
  3. Aus und folgt für beliebige .
Zum Beweis, Alternativen Beweis erstellen