Ganze Zahlen/Negative Zahlen/Direkt/Ordnung/Eigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

  1. Die Ordnung ist eine totale Ordnung.
  2. Es ist genau dann, wenn ist.
  3. Es ist genau dann, wenn ist.
  4. Es ist genau dann, wenn ist.
  5. Aus folgt für beliebige ,
  6. Aus folgt für beliebige mit ,
  7. Es ist genau dann, wenn ist
Zum Beweis, Alternativen Beweis erstellen