Autora: Daniela Serna Buitrago

Profesora Facultad de Ingeniería

Una relación de orden es una relación binaria entre dos elementos de un conjunto que establece una
comparación entre ellos con base en ciertas propiedades. Para que una relación sea de orden, debe ser
reflexiva, antisimétrica y transitiva, lo que significa que cumple con lo siguiente:

• Reflexividad: todo elemento del conjunto está relacionado consigo mismo.

• Antisimetría: si dos elementos del conjunto están relacionados entre sí, entonces son iguales.
• Transitividad: si dos elementos están relacionados y el segundo de estos está relacionado con un
tercero, entonces el primero también está relacionado con el tercero.

La notación matemática de una relación de orden es el símbolo  . Cuando dos elementos de un conjunto
se relacionan a través de una relación de orden, se dice que son comparables.

(a  A  b  A  (a , b)  R ) → a y b son comparables

Las relaciones de orden pueden ser parciales o totales:

Las relaciones de orden parcial, o conjuntos parcialmente ordenados, son aquellas en las que no
necesariamente todos los elementos del conjunto son comparables; en otras palabras, no todos los
elementos del conjunto se relacionan entre sí.

Las relaciones de orden total establecen que todos los elementos son comparables o están relacionados
entre sí. Las relaciones de orden total son un caso específico de las relaciones de orden parcial.

Representación de una relación de orden

• Grafos

En el capítulo anterior, vimos los componentes de un grafo como representación gráfica de una relación:
vértices o nodos (conjunto V) y aristas (conjunto E).

Ejemplo:

V = { a, b, c, d}
E = { (a, a) , (b, b) , (c, c) , (d, d) , (a, c) , (c, d) , (a, d) , (b, c) , (b, d)}

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 1

 La relación presentada es de orden porque cumple con las características de ser reflexiva, antisimétrica y
transitiva, y gráficamente se visualiza así:

Figura 1. Grafo

• Diagrama de Hasse

Para construir un diagrama de Hasse a partir de un grafo, se tiene el siguiente procedimiento:

1. Se eliminan las aristas que representan la propiedad reflexiva, en el diagrama de Hasse se

sobrentiende que cada elemento está relacionado consigo mismo.
2. Se eliminan las aristas que representan la propiedad reflexiva, pues si hay un camino que ya le
permite a un elemento relacionarse con otro, no es necesario establecer una relación directa entre
ellos.
3. Se enumeran los elementos del conjunto y se determina la relación de orden entre ellos, es decir,
como las relaciones ahora solo serán hacia arriba, hay que establecer un orden en los vértices,
donde en la parte inferior se encontrarán los elementos a los que no les llegan aristas, y en la parte
superior aquellos a los que no les salen aristas; los puntos intermedios dependerán de las relaciones
que se presenten entre esos elementos.
4. Los vértices ahora se simbolizan a través de puntos.
5. Se eliminan las cabezas de las flechas, ya que se hacen innecesarias.
6. No se permiten las relaciones horizontales, pues las relaciones deben indicar precedencia o sucesión
entre elementos.

En un diagrama de Hasse, si un elemento a está más abajo que un elemento b y se relacionan, se puede
traducir como que el elemento a precede al elemento b, o el elemento a es menor que el elemento b;
también, que el elemento b sucede al elemento a.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 2

 Siguiendo este proceso, si se representa el grafo anterior, se obtiene el siguiente diagrama de Hasse:

Figura 2. Relación de orden

Elementos extremos de un conjunto parcialmente ordenado

Sea una relación de orden parcial A, los siguientes son los elementos que se pueden determinar en esta:

• Elementos maximales: un elemento es maximal en A, sí y solo sí, ningún elemento comparable con
él lo sucede; en otras palabras, no hay elementos por encima de él en la relación de orden. Los
maximales pueden ser uno o varios.

• Elementos minimales: un elemento es minimal en A, sí y solo sí, ningún elemento comparable con él
lo precede; en otras palabras, no hay elementos por debajo de él en la relación de orden. Los
minimales pueden ser uno o varios.

• Elemento máximo: el elemento máximo en A es aquel que sucede a todos los elementos de la
relación de orden, es decir, es el elemento que está por encima de todos los elementos de la relación.
El elemento máximo es uno solo.

Si en una relación de orden parcial hay varios elementos maximales, no existe elemento máximo.

• Elemento mínimo: el elemento mínimo en A es aquel que precede a todos los elementos de la
relación de orden, es decir, es el elemento que está por debajo de todos los elementos de la relación.
El elemento mínimo es uno solo.

Si en una relación de orden parcial hay varios elementos minimales, no existe elemento mínimo.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 3

 Ejemplo:

En la relación de orden de la figura 2 se pueden establecer los elementos extremos allí ubicados.

Maximales = {d}

Minimales = {a , b}

Máximo = {d}

Mínimo = { }

Dado un conjunto referencia B, subconjunto de la relación de orden A (B  A), se establecen los siguientes
elementos en A:

• Cotas superiores: las cotas superiores de un conjunto B, subconjunto de A, son los elementos que
suceden a todos los elementos que conforman B; es decir, son todos los elementos por encima del
subconjunto B que tienen relación con todos los elementos de B.

• Cotas inferiores: las cotas inferiores de un conjunto B, subconjunto de A, son los elementos que
preceden a todos los elementos que conforman B; es decir, son todos los elementos por debajo del
subconjunto B que tienen relación con todos los elementos de B.

• Mínima cota superior (m.c.s): la mínima cota superior del conjunto B es aquel elemento de las cotas
superiores que precede a las demás; en otras palabras, es el elemento de estas cotas que está más
cerca de B.

• Máxima cota inferior (M.C.I ): la máxima cota inferior del conjunto B es aquel elemento de las cotas
inferiores que sucede a las demás; en otras palabras, es el elemento de estas cotas que está más cerca
de B.

Ejemplo:

Sea el subconjunto B = {a , c} en la relación de orden de la figura 2, definimos las cotas en B.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 4

 Cotas superiores = {c , d}

Cotas inferiores = {a}

m.c.s = {c}

M.C.I = {a}

Nota. Los elementos a y c se incluyen dentro de las cotas porque la propiedad reflexiva de cada
elemento tiene relación consigo mismo.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 5