Orden (álgebra)

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...

Este sitio web utiliza cookies, propias y de terceros con la finalidad de obtener información estadística en base a los datos de navegación. Si continúa navegando, se entiende que acepta su uso y en caso de no aceptar su instalación deberá visitar el apartado de información, donde le explicamos la forma de eliminarlas o rechazarlas.
Aceptar | Más información