Este documento describe la tricotomía y la igualdad de los números reales. La tricotomía establece que para cualquier par de números reales x e y, una de las siguientes relaciones es cierta: x > y, x = y, o x < y. La igualdad se define mediante tres propiedades: reflexiva (a = a), simétrica (si a = b, entonces b = a) y transitiva (si a = b y b = c, entonces a = c). Estas propiedades de la igualdad justifican los métodos matemáticos y se aplican