-
La relación «menor o igual que», representada por ≤, es efectivamente una relación de orden en estos conjuntos: cumple las tres propiedades básicas, a saber, la reflexividad (para todo número x, se tiene x ≤ x), la antisimetría (para todos los números x e y, si x ≤ y e y ≤ x, entonces x = y) y la transitividad (para todos los números x, y y z, si x ≤ y e y ≤ z, entonces x ≤ z).
Además, todos los números de estos conjuntos son comparables; es decir, ≤ es un orden total.
La relación «mayor o igual que», representada por ≥, cumple, por supuesto, las mismas propiedades.
Reglas que deben respetarse
----------------------
