User:Dfeuer/Definition:Ordering of Natural Numbers

Definition
If $n$ and $m$ are natural numbers, then:


 * $n \le m \iff n \subseteq m$


 * $n < m \iff n \subsetneqq m$