Natürliche Zahlen/Ordnungsrelation/Verträglichkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien natürliche Zahlen. Dann gelten folgende Aussagen.

  1. Es ist

    genau dann, wenn

    ist.

  2. Aus

    und

    folgt

  3. Aus

    folgt

  4. Aus

    und

    folgt

  5. Aus

    und

    folgt

Zum Beweis, Alternativen Beweis erstellen