TEMA II:

CONJUNTOS Y
RELACIONES DE
ORDEN

lgebra II
Garca Muoz, M.A.

OBJETIVOS GENERALES
1. Hacer que el alumno asimile el concepto de conjunto
como la estructura algebraica ms simple en la que se
ambientarn el resto de las estructuras algebraicas,
2. Conocer el concepto de aplicacin entre conjuntos, y
3. Conocer el concepto de relacin binaria y en
particular las relaciones de equivalencia y de orden.

lgebra II
Garca Muoz, M.A.

OBJETIVOS ESPECFICOS

Unificar y reafirmar el concepto de conjunto y la
notacin de teora de conjuntos.

Entender los conjuntos como el modelo matemtico
ms sencillo que se conoce.

Decidir cuando dos conjuntos son iguales o uno de ellos
est contenido en otro.

Conocer el conjunto de las partes de un conjunto.

Saber operar con conjuntos (unin, interseccin,
complemento).

Reconocer las propiedades que satisfacen las distintas
operaciones entre conjuntos y saber utilizarlas para
demostrar igualdades entre conjuntos.
lgebra II
Garca Muoz, M.A.

OBJETIVOS ESPECFICOS

Conocer el producto cartesiano entre conjuntos y sus
propiedades.

Conocer el concepto de correspondencia y saber
calcular imagen, imagen inversa, dominio y codominio
de una correspondencia.

Saber cuando una correspondencia entre dos
conjuntos es una aplicacin y saber clasificarla.

Saber calcular la composicin de dos aplicaciones.

Conocer la correspondencia inversa de una aplicacin.

Reconocer cuando una familia de subconjuntos de un
conjunto es un particin.

Entender el concepto de relacin binaria y saber
determinar las propiedades que satisface.
lgebra II
Garca Muoz, M.A.

OBJETIVOS ESPECFICOS

Distinguir entre relacin de equivalencia y de orden.

Saber calcular una clase de equivalencia y el conjunto
cociente asociado a una relacin de equivalencia, y

Conocer los conceptos de conjunto totalmente
ordenado y conjunto bien ordenado.

Entender los distintos elementos notables de un
conjunto ordenado y saber calcularlos.

lgebra II
Garca Muoz, M.A.

BIBLIOGRAFA
Matemtica discreta para la computacin. M.A.
Garca-Muoz. Servicio de Publ. Univ. Jan. 2010.
lgebra lineal, J. de Burgos. McGraw-Hill, 1995.
 lgebra y Geometra Analtica, F. Granero.
McGraw-Hill, 1994.
 lgebra lineal y geometra: curso terico-prctico, J.
Garca- Garca y M. Lpez Pellicer. Marfil, 1992.
 Matemtica discreta, F. Garca Merayo. Paraninfo,
2001.
 Estructuras de Matemtica discreta para la
computacin, B. Kolman y otros. Prentice Hall, 1997.
 Problemas resueltos de Matemtica discreta, F.
lgebra II
Garca Merayo y otros. Paraninfo, 2003.
Garca Muoz, M.A.

DESARROLLO TERICO
II.1 Introduccin.
II.2 Conjuntos.
II.2.1 Conceptos bsicos.
II.2.2 Operaciones con conjuntos.
II.2.3 Producto cartesiano.
II.3 Aplicaciones entre conjuntos.
II.4 Relaciones binarias.
II.4.1 Relaciones de equivalencia.
II.4.2 Relaciones de orden.

lgebra II
Garca Muoz, M.A.

1. INTRODUCCIN

lgebra II
Garca Muoz, M.A.

El concepto de conjunto es uno de los ms importantes

en matemticas, aun ms que la operacin de contar, pues se
puede encontrar implcita o explcitamente, en todas las ramas
de las matemticas puras y aplicadas. En su forma explcita,
los principios y terminologa de los conjuntos se utilizan para
construir teoremas matemticos ms claros y precisos, y para
explicar conceptos abstractos como el infinito.
Todo matemtico o filsofo ha empleado razonamientos de
teora de conjuntos de una forma ms o menos consciente. La
teora de conjuntos se debe al matemtico ruso Georg Cantor
(1845-1918), aunque otros matemticos como George Boole
(1815-1864) dieron los primeros pasos para su desarrollo.
lgebra II
Garca Muoz, M.A.

En el ltimo cuarto del siglo XIX se vivi un episodio

apasionante de la historia de las matemticas que las ligara
desde entonces a la historia de la lgica. Primero, George
Boole trat de presentar la lgica como parte de las
matemticas. Poco despus G. Fregge (1848-1925) intent
demostrar que la aritmtica era parte de la lgica y, dando un
gran paso tanto en la historia de las matemticas como en la
historia de la lgica, G. Cantor se adelant a Fregge con una
fundamentacin lgica de la aritmtica. Como consecuencia,
Cantor cre una nueva disciplina matemtica entre 1874 y
1897: la Teora de Conjuntos.
Cantor defini conjunto como una coleccin en un todo de
determinados y distintos objetos de nuestra percepcin o
nuestro pensamiento, llamados los elementos del conjunto.
lgebra II
Garca Muoz, M.A.

Su obra fue admirada y condenada simultneamente por sus

contemporneos. Desde entonces los debates en el seno de
la teora de conjuntos han sido siempre apasionados, sin
duda por hallarse estrechamente conectados con importantes
cuestiones lgicas.
La teora de conjuntos empez a influir en otras reas de
las matemticas. Por ejemplo, Lebesgue la utiliz en su
integral. Posteriormente se intento axiomatizar la teora de
conjuntos. El primero que lo hizo fue Zermelo en 1908.
Despus lo intentaron Fraenkel, von Neumann, Bernays y
Gdel. Este ltimo termin demostrando las limitaciones de
cualquier teora axiomtica.
lgebra II
Garca Muoz, M.A.

2. CONJUNTOS

lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

Llamaremos conjunto a toda coleccin de objetos y elemento
a cada uno de los objetos de un conjunto.
Un conjunto se puede definir de dos formas:
I) Por extensin: citando cada elemento,
II) Por comprensin: citando una propiedad que verifican
todos sus elementos.
Utilizaremos las letras maysculas A, B, X,... para denotar
conjuntos y las letras minsculas a, b, x, y,... para denotar
elementos.

lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

a A (El elemento a pertenece al conjunto A)
a A (El elemento a no pertenece al conjunto A)
={ } = conjunto vaco

= {nmeros naturales} = {0, 1, 2, 3, 4,.....}
 = {nmeros enteros} = {...,-3, -2, -1, 0, 1, 2, 3,...}

a
 = {nmeros racionales} = { tal que a  y b
y b 0}
b
a
, 2
b
 = {nmeros complejos} = {a + bi tal que a, b }
 = {nmeros reales} , e,

lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

Los conjuntos los podemos representar mediante diagramas
de Venn (regiones del plano delimitadas por una curva cerrada
que encierra a los elementos del conjunto) o bien mediante
diagramas en lnea (los elementos de un conjunto se
representan sobre una lnea recta).
Llamaremos cardinal de un conjunto A al nmero de
elementos de dicho conjunto y lo representaremos por
card(A). Atendiendo a esto diremos que un conjunto es finito
si card(A) es finito, en otro caso diremos que A es infinito.
Dados X e Y conjuntos, diremos que son iguales, X = Y, si
estn formados por los mismos elementos.
lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

Proposicin 2.1. La igualdad de conjuntos satisface las
siguientes propiedades:
i) Reflexiva: A = A para todo conjunto A.
ii) Simtrica: A y B conjuntos, si A = B entonces B = A.
iii) Transitiva: A, B y C conjuntos, si A = B y B = C
entonces A = C.
Diremos que X es un subconjunto de Y (X est contenido o
incluido en Y), X Y, si todo elemento de X es un elemento
de Y. Es decir,
X Y (x X entonces x Y).
Usamos X Y cuando X est contenido en Y y sabemos que
no son iguales, es decir, X Y X Y y X Y.
Si X no est contenido en Y se denotara por X Y.
lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

Proposicin 2.2. El conjunto vaco est contenido en cualquier
conjunto X, X, X. (Demostracin ejercicio 2.8.)
Proposicin 2.3. La inclusin de conjuntos satisface las
siguientes propiedades:
i) Reflexiva: A A para todo conjunto A.
ii) Antisimtrica: A y B conjuntos, si A B y B A
entonces A = B.
iii) Transitiva: A , B y C conjuntos, si A B y B C
entonces A C.
Llamaremos subconjuntos propios de X a los subconjuntos
distintos de y de X. A los subconjuntos X y del conjunto
X se les llama subconjuntos impropios de X.
lgebra II
Garca Muoz, M.A.

2.1 CONCEPTOS BSICOS

Dado un conjunto X, llamaremos conjunto de las partes o
conjunto potencia de X,
(X) al conjunto que tiene por
elementos a todos los subconjuntos de X, esto es,

(X) = { A / A X } .
Se tiene card(
(X)) = 2 card(X) (Demostracin ejercicio 2.20.)

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Sea X un conjunto y A, B
(X), llamaremos interseccin de
A y B, al subconjunto de X formado por los elementos que
pertenecen simultneamente a A y a B,
A B = { x X / x A y x B}
(X).
Diremos que A y B son disjuntos si A B = .

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Proposicin 2.4. La interseccin de conjuntos satisface las
propiedades:
i) Conmutativa: A B = B A,

A, B
(X).

ii) Asociativa: A (B C) = (A B) C, A, B, C

(X).
iii) Idempotencia: A A = A,

A
(X).

iv) Elemento nfimo: A = ,

A
(X).

v) Elemento neutro: A X = A,

A
(X).
lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Sea X un conjunto y A, B
(X), llamaremos unin de A y
B, al subconjunto de X formado por los elementos que
pertenecen al menos a uno de dichos conjuntos, es decir:
A B = { x X / x A x B}
(X).

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Proposicin 2.5. La unin de conjuntos satisface las
propiedades:
i) Conmutativa: A B = B A,

A, B
(X).

ii) Asociativa: A (B C) = (A B) C, A, B, C

(X).
iii) Idempotencia: A A = A,

A
(X).

iv) Elemento universal: A X = X, A
(X).

v) Elemento neutro: A = A, A
(X).
lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Proposicin 2.6. La unin junto con la interseccin de
conjuntos satisface las propiedades:
i) Leyes de absorcin:
A (A B) = A
A (A B) = A

A, B
(X).

ii) Distributivas:
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)

A, B, C
(X).

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Sea X un conjunto y A
(X), llamaremos complemento de
A respecto de X, al conjunto formado por todos los elementos
de X que no pertenecen a A, es decir:
A = = { x X / x A}
(X).

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Proposicin 2.7. El complemento de un conjunto satisface:
i) Involucin: (A) = A A
(X).
ii) Complemento del universo: X=
iii) Complemento del vaco: = X

lgebra II
Garca Muoz, M.A.

2.2 OPERACIONES CON CONJUNTOS

Proposicin 2.8. La operacin complemento junto con la unin
y la interseccin satisfacen las propiedades:
i) Ley del complemento:
A A = X

A A = A
(X).

ii) Leyes de De Morgan:

(A B)= A B
(A B)= A B

A, B
(X).
lgebra II
Garca Muoz, M.A.

2.3 PRODUCTO CARTESIANO

Un par ordenado es un objeto formado por dos elementos
con un orden determinado que notaremos por (a, b). A los
elementos a y b se les denomina primera y segunda
componente del par (a, b). Dos pares ordenados son
iguales si y slo si las componentes correspondientes son
iguales.
De forma anloga podemos definir una terna, cuaterna,
quntupla y en general, n-upla como un objeto formado
por n elementos a1, a2,..., an en un orden dado y lo
notaremos por (a1, a2,...,an).

lgebra II
Garca Muoz, M.A.

2.3 PRODUCTO CARTESIANO

Dados X e Y conjuntos, llamaremos producto cartesiano de
X e Y, al conjunto formado con todos los pares ordenados que
pueden formarse con elementos de X e Y:
X Y = {(a, b) / a X y b Y}
Se tiene que card(X Y) = card(X).card(Y).

(Demostracin

ejercicio 2.21.)

El producto cartesiano se puede representar mediante

diagramas cartesianos, diagramas sagitales y tablas de doble
entrada.
lgebra II
Garca Muoz, M.A.

2.3 PRODUCTO CARTESIANO

De igual forma se puede definir el producto cartesiano de
tres o ms conjuntos:
Dados A1, A2,..., An conjuntos, definimos su producto
cartesiano como el conjunto formado por todas las n-uplas
posibles (a1, a2,...,an) de forma que a1 A1, a2 A2,...,
an An:
A1 A2 ... An = { (a1, a2,...,an) / ai Ai, i}

lgebra II
Garca Muoz, M.A.

2.3 PRODUCTO CARTESIANO

Proposicin 2.9. Sean X e Y conjuntos, A, B
(X) y C, D

(Y), se tiene:
i) X Y Y X.
ii) A C X Y.
iii) Distributiva respecto de la unin
X (C D) = (X C) (X D)
(A B) Y = (A Y) (B Y)
iv) Distributiva respecto de la interseccin
X (C D) = (X C) (X D)
(A B) Y = (A Y) (B Y)
v) (X C) = X C

(A Y) = A Y

vi) (A C) (B D) = (A B) (C D).

lgebra II
Garca Muoz, M.A.

3. APLICACIONES

lgebra II
Garca Muoz, M.A.

Sean X e Y conjuntos. Una correspondencia entre X e Y es

una terna (X, Y, G) donde G X Y. Al conjunto X se le
llama conjunto inicial, al conjunto Y se le llama conjunto
final y a G se le llama grafo o grfica de la correspondencia.
Si el par (x, y) G se dice que x se corresponde con y.
A una correspondencia como la anterior se le suele asignar
letras f, g, h,..., representndose mediante
f: X Y, o bien,

X Y

Ntese que el grafo de tal correspondencia se denota mediante

Gf para indicar que es el grafo de f.
lgebra II
Garca Muoz, M.A.

En lo que sigue sea f = (X, Y, G) una correspondencia.

Si a X, llamaremos imagen de a, f(a), al conjunto de
elementos de Y que se corresponden mediante f con a:
f(a) = { b Y / (a, b) G} Y
Si b Y, llamamos imagen inversa de b, f 1(b), al conjunto de
elementos de X que se corresponden con b:
f 1 (b) = { a X / (a, b) G} X

lgebra II
Garca Muoz, M.A.

Llamaremos dominio de una correspondencia f al subconjunto de

X formado por los elementos cuya imagen es distinta del vaco,
es decir:
Dom(f) = { a X / f(a) } X.
Llamaremos imagen de f al conjunto formado por todas las
imgenes de los elementos de A,
Im(f) =

U f (a)

aDom ( f )

Y.

lgebra II
Garca Muoz, M.A.

Una correspondencia f: X Y se dice que es una aplicacin

cuando todo elemento de X tiene UNA Y SOLO UNA imagen
en Y:
a X, 1 b Y tal que f(a)=b
Dadas dos aplicaciones f, g diremos que son iguales si tienen
iguales conjunto inicial y final y el mismo grafo:
f = g f, g: X Y y f(a) = g(a), a X.

lgebra II
Garca Muoz, M.A.

Dada una aplicacin f: X Y y A X, llamamos imagen de

A por f, f*(A), al subconjunto de Y formado por todas las
imgenes por f de los elementos de A
f(A) = f*(A) =

= { f(a) / a A }
f
(
a
)
U

aA

Si C Y, llamamos imagen inversa de C por f o preimagen

de C por f, f *(C), al subconjunto de X formado por todos los
elementos cuya imagen por f pertenecen a C
f -1(C) = f *(C) = { a X / f(a) C}

lgebra II
Garca Muoz, M.A.

Tipos de aplicaciones
Dada una aplicacin f: X Y, diremos que es:
A) inyectiva si cada elemento de Y es imagen a lo mas de
un elemento de X, es decir,
x x f(x) f(x), (equiv. f(x) = f(x) x = x)
B) sobreyectiva si todo elemento de Y es imagen al menos
de un elemento de X,
b Y, a X tal que f(a)= b,
C) biyectiva si es inyectiva y sobreyectiva a la vez,
b Y, 1 a X tal que f(a)= b.
Toda aplicacin biyectiva de un conjunto en si mismo se le
lgebra II
llama permutacin.
Garca Muoz, M.A.

Dado X un conjunto, la identidad en X, IdX: X

aplicacin tal que IdX(a) = a, para todo a X.

Proposicin 2.10. Sea f: X Y una aplicacin se tiene:

i) si f es inyectiva entonces card(X) card(Y),
ii) si f es sobreyectiva entonces card(X) card(Y), y
iii) si f es biyectiva entonces card(X) = card(Y).
Dadas f: X Y y g: Y Z aplicaciones, podemos
definir una correspondencia h: X Z tal que h(x) =
g(f(x)). As definida h es tambin una aplicacin que
llamamos aplicacin compuesta de f y g y se denota por h
= g o f.
lgebra II
Garca Muoz, M.A.

Proposicin 2.11. La composicin de aplicaciones satisface la

propiedad asociativa, es decir, si f: X Y, g: Y Z y
h: Z T entonces h o (g o f) = (h o g) o f.
Proposicin 2.12. Dada f: X Y aplicacin, se tiene f o IdX = f
y IdY o f = f.
Dada una aplicacin f: X Y (es decir, f = (X, Y, G)) existe
una correspondencia de Y en X, f -1 = (Y, X, Ginv), de manera que
(b, a) Ginv si y slo si (a, b) G. Adems si f es biyectiva,
entonces f -1 es una aplicacin, tambin biyectiva, que se llama
inversa de f.
lgebra II
Garca Muoz, M.A.

Proposicin 2.14. Sean X e Y conjuntos, f: X

g: Y X aplicaciones. Entonces:

Y y

i) Si f es biyectiva, entonces f -1 o f = IdX y f o f -1 = IdY.

ii) Si g o f = IdX, entonces f es inyectiva y g sobreyectiva.
iii) Si g o f = IdX y f o g = IdY, entonces f y g son
biyectivas y g = f -1. (Demostracin ejercicio 2.44)
Proposicin 2.15. Sean X, Y y Z conjuntos, f: X Y y
g: Y Z aplicaciones biyectivas, entonces g o f: X Z es
biyectiva y (g o f)-1 = f -1 o g-1. (Demostracin ejercicio 2.45)
lgebra II
Garca Muoz, M.A.

Sean I y X conjuntos, llamamos familia de elementos de X

indizada en I a toda aplicacin f: I X tal que f(i) = xi.
Usaremos la notacin (xi)iI = { xi / i I}. Si I es finito se dice
que la familia es finita y si I = {1, 2,..., n} se escribe (xi)1 i n.
Sea X es un conjunto y (Ai)iI es una familia de elementos de

(X) indizada en I, es decir, una aplicacin f: I
(X) tal
que f(i) = Ai. Llamamos unin de la familia anterior al
conjunto
A i = { x X / iI t. q. x Ai }.

U
i I

iI

De igual forma, llamamos interseccin de la familia al

conjunto
A i = { x X / x Ai, iI }.

I
i I

lgebra II
Garca Muoz, M.A.

Sea X un conjunto. Una particin de X es una familia (Ai)iI

de elemento de
(X) satisfaciendo:
i) Ai para todo i I,
ii) Si i j, entonces Ai Aj = , y
iii)

U A = X.
i

i I

lgebra II
Garca Muoz, M.A.

4. RELACIONES BINARIAS

lgebra II
Garca Muoz, M.A.

Sea X un conjunto. Llamamos relacin binaria en X a todo

subconjunto R del producto cartesiano X X, es decir,
R X X.
Diremos que a est relacionado con b por R, y lo
notaremos por a R b, si y solo si (a, b) R.
Sea R una relacin binaria en el conjunto X, diremos que:
R es reflexiva, si a R a para todo a X.
R es simtrica, siempre que a R b, se tiene que b R a.
R es antisimtrica, siempre que a R b y b R a, se tiene
que a=b.
R es transitiva, siempre que a R b y b R c, se tiene que
a R c.
lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE EQUIVALENCIA

Una relacin binaria R en X se dice que es una relacin
de equivalencia si verifica simultneamente las
propiedades reflexiva, simtrica y transitiva.
Dada R una relacin de equivalencia sobre un conjunto
X y a X, definimos la clase de equivalencia de a al
subconjunto de X formado por todos los elementos
relacionados con a, es decir,
= [a] = { x X / x R a }.

lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE EQUIVALENCIA

Proposicin 2.16. Sea R una relacin de equivalencia en X.
Entonces a R e si y solo si = . (Demostracin ejercicio 2.49)
Sea R una relacin de equivalencia en X. Llamaremos
conjunto cociente de X por la relacin R, y lo notaremos
por X/R, al conjunto de todas las clases de equivalencia en X
determinadas por R
X/R = { / a X }
Adems la aplicacin p: X X/R, definida por p(a) = ,
para todo a X es sobreyectiva y recibe el nombre de
proyeccin cannica.
Proposicin 2.17. X/R determina una particin en X.
(Demostracin ejercicio 2.51)
lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Una relacin binaria R sobre un conjunto X diremos que es
una relacin de orden si verifica simultneamente las
propiedades reflexiva, antisimtrica y transitiva. Diremos
que X es un conjunto ordenado si hay una relacin de
orden definida en X.
Generalmente escribimos a b y se lee a es menor o igual
que b cuando (a, b) R.
Dos elementos a, b X se dicen comparables por la
relacin de orden R si y solo si a b o bien b a ((a, b)
R o (b, a) R).
lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Una relacin de orden R en X, se dice que es un orden
total si cualquier par de elementos de X son comparables.
En tal caso se dice que X es un conjunto totalmente
ordenado. En otro caso se dice que R es un orden parcial
y que X es un conjunto parcialmente ordenado.
Sea R una relacin de orden en X, un subconjunto no vaco
A de X se llama cadena cuando todo par de elementos de
A son comparables por la relacin R de X, es decir, la
relacin de orden R restringida a A es un orden total.

lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Cuando el conjunto X ordenado por la relacin R es finito,
el orden puede ser representado grficamente mediante un
diagrama conocido como diagrama en rbol o diagrama
de Hasse. En tales diagramas los elementos se representan
por puntos y cuando dos elementos son comparables, los
puntos que los representan se unen mediante una flecha de
manera que si a b, en el diagrama aparecer una flecha
ascendente desde el punto que representa al elemento a
hasta el punto que representa al punto b.
d

lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Sea X un conjunto ordenado por una relacin de orden R y
A X. Diremos que A est acotado superiormente si
existe un x X tal que a x para todo a A. A tal
elemento x se le llama cota superior de A.
Diremos que A est acotado inferiormente si existe un y
X tal que y a para todo a A. A tal elemento y se le
llama cota inferior de A. Si A est acotado inferior y
superiormente se dice que A est acotado.
Se dice que un elemento m A es el mximo de A si es
una cota superior de A. De igual forma un elemento n A
es el mnimo de A si es un cota inferior de A.
lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Proposicin 2.19. Si existe mximo de un conjunto (resp.
mnimo) es nico.
Un conjunto ordenado X se dice bien ordenado si todo
subconjunto no vaco de X tiene un elemento mnimo.
Proposicin 2.20. Todo conjunto bien ordenado est
totalmente ordenado.

lgebra II
Garca Muoz, M.A.

4.1 RELACIONES DE ORDEN

Sea A X. Llamaremos supremo de A, sup(A), al mnimo
(si existe) del conjunto de cotas superiores de A y
llamaremos nfimo de A, inf(A), al mximo (si existe) del
conjunto de cotas inferiores de A.
Sea X un conjunto ordenado. Un elemento x X se dice
maximal de X si la relacin x a para algn a X,
implica que x = a. Un elemento y A se dice minimal en
X si la relacin b y para algn b X, implica que y = b.

lgebra II
Garca Muoz, M.A.