Welcome guest
You're not logged in.
305 users online, thereof 0 logged in


The order relations “\( \le \)”, respectively “\( \ge \)” define a total order on the set of natural numbers \(\mathbb N\), i.e. any two natural numbers can be compared with each other. This is an important concept, since it enables one of the most important methods of mathematical proofs, called the principle of complete induction. Also we use this concept intuitively on a daily basis when comparing the number of things, paying or exchanging money, etc.

| | | | created: 2014-02-20 23:57:15 | modified: 2019-03-10 14:36:17 | by: bookofproofs

1.Definition: Set-theoretic Definition of Order Relation for Natural Numbers

2.Definition: Order Relation for Natural Numbers

3.Proposition: Well-Ordering Principle of Natural Numbers

4.Proposition: Existence and Uniqueness of Greatest Elements in Subsets of Natural Numbers

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)