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

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