Order

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

Let \(m,n\in\mathbb N\) be any given natural numbers, using their von Neumann set-theoretic representation.

Then we call:

• \(m\) smaller or equal \(n\) - denoted by \(m \le n\), if and only if the set-theoretic representation of \(m\) is a subset of the set-theoretic representation of \(n\),
• \(m\) smaller \(n\) - denoted by \(m < n\), if and only if the set-theoretic representation of \(m\) is a proper subset of the set-theoretic representation of \(n\),
• \(m\) greater or equal \(n\) - denoted by \(m \ge n\), if and only if the set-theoretic representation of \(n\) is a subset of the set-theoretic representation of \(m\),
• \(m\) greater \(n\) - denoted by \(m > n\), if and only if the set-theoretic representation of \(n\) is a proper subset of the set-theoretic representation of \(m\).

Further Reading

[656] Hoffmann, Dirk W.: “Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011

Contribute to BoP:

add a new Motivation  add

add a new Example  add

add a new Application  add

add a new Explanation  add

add a new Interpretation  add

add a new Corollary  add

add a new Algorithm  add

add a new Bibliography (Branch)  add

add a new Definition  add

add a new Comment (Branch)  add