◀ ▲ ▶Branches / Number-systems-arithmetics / Proposition: Order Relation for Natural Numbers, Revised

Proposition: Order Relation for Natural Numbers, Revised

Given natural numbers \(x,y\), the relationship between the relations "\( > \)" and "\( \ge \)" as well as the relations "\( < \)" and "\( \le \)" is as follows:

• \(y > x\) is equivalent to \(y \ge x +1\).
• \(y < x\) is equivalent to \(y +1 \le x\).

Table of Contents

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Landau, Edmund: "Grundlagen der Analysis", Heldermann Verlag, 2008