Matemática Discreta

Relaciones de Orden Parcial

MATEMÁTICA DISCRETA 1
RELACIONES Y ESTRUCTURAS DE ORDEN
Conjuntos Parcialmente Ordenados:
Una relación R en un conjunto A es un orden parcial
si R es reflexiva (R), antisimétrica (RR-1 ) y
transitiva (R2R).

Notación:
(A,R) denota a un conjunto parcialmente ordenado.
Observación:
(A,R)  (A,)

MATEMÁTICA DISCRETA MA265 2

DEFINICIÓN

Si (A, ) es un conjunto parcialmente ordenado,

los elementos a, b  A son comparables si:
a  b o b  a.

Si cada par de elementos en un conjunto

parcialmente ordenado A es comparable, se dirá
que A es un conjunto linealmente ordenado, y el
orden parcial es un orden lineal.

MATEMÁTICA DISCRETA MA265 3

DEFINICIÓN

Sean (A, ) y (B, ) conjuntos parcialmente

ordenados:
Se define el orden parcial en AB, denotado por ,
como sigue:
(a, b)  (a’, b’) si a  a’ en A y b  b’ en B
Este orden es llamado el Orden Parcial del
Producto.

MATEMÁTICA DISCRETA 4
DIAGRAMA DE HASSE
Sea A un conjunto finito y (A, R) un conjunto
parcialmente ordenado. El diagrama de Hasse se
obtiene del dígrafo de R de la siguiente forma:
 Eliminando las aristas que hacen reflexivo el
dígrafo.
 Eliminando las aristas que hacen transitivo el
dígrafo.
 Graficando nuevamente de tal manera que las
flechas apunten hacia arriba y luego no se dibuja
la cabeza de la flecha.

MATEMÁTICA DISCRETA 5
EJEMPLO

Dígrafo Diagrama de Hasse

3 12

4
12
1
3

2
2
4 1

MATEMÁTICA DISCRETA 6