Relación de orden
Relación que cumple:
- antisimétrica
- transitiva
Las relaciones de orden generan un problema con la propiedad antisimétrica, debido a que cuando actúa dos veces sobre el mismo elemento , si $A$ es el conjunto y aplicamos la relación dos veces sobre el mismo $a \in A$ $a \Re a$ puede ofrecer $V$ o $F$ , si los cambiamos de orden por ser antisimétrica estos debería de intercambiar el resultado pero por ser la misma relación aplicada sobre los mismos elementos no lo hará.
Esto se solucionará definiendo este caso de manera externa como siempre verdadero o siempre falso, común mente se suelen usar los signos de $ ( < menor que) $, $ ( > mayor que) $, $ ( <=, \leq menor o igual) $,$ ( >=, \geq menor o igual) $
