Fundamentos de Matemáticas

RELACIONES DE ORDEN

Definición 1. Una relación R definida en un conjunto A se llama una relación de orden

parcial si la relación R es reflexiva, antisimétrica y transitiva. En este caso se dice que
A está ordenado parcialmente por R.
- R es reflexiva si y solo si aRa cualquiera sea a de A.
- R es antisimétrica si y solo si, si aRb y bRa entonces a = b., para todo a y b en A
- R es transitiva si solo si, si aRb y bRc entonces aRc, para todo a, b y c en A.

Notación: Notaremos por  una relación de orden, y leeremos a  b como a es menor o

igual que b. Acordaremos también que ba tiene el mismo significado que a  b,
aunque se lee b es mayor o igual que a.

Definición 2. Un conjunto ordenado A,   se dice totalmente ordenado si cumple la

propiedad siguiente: a  b ó b  a para cualesquiera elemento a y b de A. En este caso
se dice que los elementos de A son comparables.

Definición 3. Sea A conjunto ordenado por . La relación < definida por a < b si y
solo si a  b y a  b, se llama un orden estricto en A. Nótese que < no es una relación
de orden ya que es irreflexiva y asimétrica; pero si es transitiva.

Definición 4. Sea A conjunto ordenado por . Decimos que m A es el mínimo

elemento de A si m  a para todo elemento de A. O sea m es el mínimo de A si i) m
A y ii) m  a para cualquier elemento a de A.

Definición 5. Sea A conjunto ordenado por . Decimos que M A es el máximo

elemento de A si a  M para todo elemento a de A. O sea M es el máximo de A si
i) M A y ii) a  M para cualquier elemento a de A.

Definición 6. Sea A conjunto ordenado por . Decimos que m A es un elemento

maximal de A si no existe un elemento de A estrictamente mayor que m. O sea m es un
elemento maximal de A si i) m A y ii) si m  a entonces m = a, para cualquier
elemento a de A.

Definición 7. Sea A conjunto ordenado por . Decimos que m A es un elemento

minimal de A si no existe un elemento de A estrictamente menor que él. O sea m es un
elemento minimal de A si i) m A y ii) si a  m entonces m = a, para todo a de A.

Definición 8. Sea A conjunto ordenado por , y sea B un subconjunto no vacío de A.

Una cota superior de B es un elemento aA tal que b  a para todo bB.
Una cota inferior de B es un elemento aA tal que a b para todo bB.
La clase de todas las cotas superiores de B (en A) se notará Cs(B).
La clase de todas las cotas inferiores de B (en A) se notará Ci(B).

Profesora Clara Helena Sánchez

Departamento de Matemáticas Of. 317 (edificio 404)
Definición 9. Sea A conjunto ordenado por , y sea B un subconjunto no vacío de A.
Si Ci(B) en A tiene un máximo elemento, éste elemento se llama el extremo inferior (o
el inf) de B en A, y se nota infAB.

Si Cs(B) en A tiene un mínimo elemento, éste elemento se llama el extremo superior (o

sup) de B en A y se nota supAB.

Nota: Cuando no hay riesgos de ambigüedad podemos suprimir en las definiciones

anteriores “en A” y notar simplemente inf B o sup B.

Definición 10. Sea A conjunto ordenado por , si todo par {a, b} en A tiene sup y tiene
inf, decimos que <A,  > es un retículo o un látice. En este caso se acostumbra notar
ab = inf {a,b} y ab = sup{a,b}.

Definición 11. Sea A un conjunto parcialmente ordenado. Una cortadura en A es un par

(LU) de subconjuntos no vacíos de A que cumple las siguientes condiciones
1) LU =  2) LU = A 3) Si xL y y  x, entonces yL y 4) si xU y y  x
entonces yU.

Definición 12. Sean A y B conjuntos parcialmente ordenados. El orden lexicográfico de

AxB es la relación de orden definida en AxB como sigue: si (a,b) y (c,d) son elementos
de AxB , (a,b)  (c,d) si y solo si i) a < c ó ii) a = c y b  d.

Definición 13. Sea A un conjunto parcialmente ordenado. Decimos que A está bien
ordenado si todo subconjunto no vacío de A tiene primer elemento (o mínimo).

Definición 14. Sean A y B conjuntos parcialmente ordenados; y sea f : A  B una

función. Decimos que f es una función creciente o que preserva el orden si para
cualesquiera elementos x, y de A se tiene que, si x  y entonces f(x)  f(y).

Definición 15. Sean A y B conjuntos parcialmente ordenados; y sea f : A  B una

función. Decimos que f es un isomorfismo entre A y B si f es una biyección tal que,
x  y si y solo si f(x)  f(y), para cualesquiera elementos x, y de A.

Profesora Clara Helena Sánchez

Departamento de Matemáticas Of. 317 (edificio 404)