-
The "less than or equal to" relation, denoted by ≤, is indeed an order relation on these sets: it satisfies the three basic properties, namely reflexivity (for every number x, we have x ≤ x), antisymmetry (for all numbers x and y, if x ≤ y and y ≤ x, then x = y) and transitivity (for all numbers x, y, and z, if x ≤ y and y ≤ z, then x ≤ z).
Moreover, every pair of numbers in these sets is comparable; in other words, ≤ is a total order.
The "greater than or equal to" relation, denoted by ≥, naturally satisfies the same properties.
Rules to follow
----------------------
