En álgebra, la relación de orden es la relación binaria definida en un conjunto que verifica las propiedades reflexiva, antisimétrica y transitiva. Álgebra Dado un conjunto C, un orden o relación de orden en C es una relación binaria (que se suele escribir ≤) tal que para toda terna de elementos a, b, c de C se cumplen las condiciones siguientes: 1) a ≤ a (propiedad reflexiva), 2) si a ≤ b y b ≤ a entonces a = b (propiedad antisimétrica), 3) si a ≤ b y b ≤ c, entonces a ≤ c (propiedad transitiva). Una relación que cumpla estas tres condiciones se suele denominar también relación de orden parcial. Si se admite además que, dados dos elementos cualesquiera a y b, debe cumplirse a ≤ b o b ≤ a, el orden se llama total. La relación de...