La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es

Relación de orden

Artículo de la Enciclopedia Libre Universal en Español.

Saltar a navegación, buscar

Una relación de orden (generalmente denotada con \le) en un conjunto X es toda aquella que satisface las siguientes propiedades

  1. Reflexividad: \forall a \in X: a \le a
  2. Antisimetría: \forall a,b \in X: a \le b \and  b \le a \Longrightarrow  a=b
  3. Transitividad: \forall a,b,c \in X: a \le b \and  b \le c \Longrightarrow  a\le c

Si además se cumple que \forall a,b \in X: a \le b \or  b \le a la relación es un orden total y se denota con <. Se suele llamar orden parcial a la relación de orden que no es de orden total.

[escribe] Referencias

Artículos relacionados


Notas

¡Ayúdanos a ampliar este artículo!
Este artículo es, por ahora, sólo un esbozo. Ampliándolo ayudarás a mejorar la Enciclopedia Libre.
Para ello escribe aquí.
Herramientas personales
Espacios de nombres
Variantes
Acciones
Navegación
Herramientas
Crear un libro