Guia 3 de Logica

December 2, 2021

Nota: Los ejercicios que tienen una S son para una "Segunda pasada" es
decir ya sea son mas anecdoticos y menos importantes tematicamente, o son
de completar pruebas y tienen que ver mas con la parte teorica, o son mas
di…ciles y conviene encararlos despues de una primera pasada por la guia (asi
uno comienza a pensarlos con un poco mas de madurez sobre el tema).

Version algebraica del concepto de reticulado

De la diversas propiedades de las operaciones s e i de un reticulado (L; )
distinguiremos las siguientes:

(I1) x s x = x i x = x, cualesquiera sea x 2 L

(I2) x s y = y s x, cualesquiera sean x; y 2 L
(I3) x i y = y i x, cualesquiera sean x; y 2 L
(I4) (x s y) s z = x s (y s z), cualesquiera sean x; y; z 2 L
(I5) (x i y) i z = x i (y i z), cualesquiera sean x; y; z 2 L
(I6) x s (x i y) = x, cualesquiera sean x; y 2 L
(I7) x i (x s y) = x, cualesquiera sean x; y 2 L

Podemos abstraernos y pensar que s e i son dos operaciones binarias cua-

lesquiera sobre un conjunto L arbitrario y estudiar cuando se satisfacen y cuando
no dichas propiedades. Algunos ejemplos

(E1) Si tomamos L = R y

s : R2 ! R i : R2 ! R
(a; b) ! a + b (a; b) ! a:b

entonces se cumplen (I2), (I3), (I4) e (I5), pero (I1), (I6) e (I7) no se
cumplen.

1
 (E2) Si tomamos L = f1; 2g y

s : f1; 2g2 ! f1; 2g i : f1; 2g2 ! f1; 2g

(1; 1) ! 1 (1; 1) ! 1
(1; 2) ! 2 (1; 2) ! 1
(2; 1) ! 1 (2; 1) ! 1
(2; 2) ! 2 (2; 2) ! 1

entonces se cumplen (I3), (I4) e (I5), pero (I1), (I2), (I6) e (I7) no se
cumplen.

(E3) Si tomamos L = N y

s : N2 ! N i : N2 ! N
(a; b) ! maxfa; bg (a; b) ! maximo comun divisor de a y b

entonces se cumplen (I1), (I2), (I3), (I4), (I5) e (I6), pero (I7) no se cumple.

Pero, por supuesto que si s e i son las operaciones supremo e in…mo dadas
por algun orden parcial sobre L el cual hace de (L; ) un reticulado, entonces
las propedades (I1),...,(I7) se cumplen y esto esta probado en la ultima serie de
lemas de la Guia 2.
El ultimo ejemplo nos permite ver una sutileza. Notese que en este ejemplo
s es la operacion supremo del reticulado (N; ), donde es el orden usual de
los naturales, e i es la operacion in…mo del reticulado (N; j), donde j es el orden
de la divisibilidad de los naturales. Sin envargo (I7) falla y esto se debe a que s
e i son supremo e in…mo pero respecto de distintos ordenes parciales.

Ejercicio 1: Para cada uno de los siguientes ejemplos diga cuales de las propiedades
(I1),...,(I7) se cumplen y cuales no.

(a) Sea L = R y

s : R2 ! R i : R2 ! R
(a; b) ! ba + bc (a; b) ! minfa; bg

(Denotamos con brc a la parte entera de un numero real r.)

(b) Sea L = f0; 1g y

s : f0; 1g2 ! f0; 1g

(x; y) ! resto de dividir x + y por 2

i : f0; 1g2 ! f0; 1g

(x; y) ! resto de dividir x:y por 2

2
 La discusion anterior motiva la siguiente de…nicion: Una terna (L; s; i), donde
L es un conjunto no vacio y s e i son dos operaciones binarias sobre L sera
llamada reticulado cuando cumpla (I1),...,(I7). Si (L; s; i) es un reticulado, lla-
maremos a L el universo de (L; s; i).

Observacion importante: Notese que hemos llamado a ciertos posets

reticulados y a ciertas ternas reticulados pero deberia quedar claro que nunca
un poset que es un reticulado puede ser igual a una terna que es un reticulado
ya que son objetos matematicos de distinta naturaleza.

Tal como lo vimos recien, las ternas dadas por los tres ejemplos anteriores no
son reticulados y si tomamos un poset (L; ) el cual sea un reticulado, entonces
la terna (L; s; i), con s e i de…nidas como supremo e in…mo, es un reticulado. El
siguiente teorema de Dedekind muestra que todo reticulado (L; s; i) se obtiene
de esta forma.

Theorem 1 Sea (L; s; i) un reticulado. La relacion binaria sobre L de…nida

por:
x y si y solo si x s y = y
es un orden parcial sobre L para el cual se cumple que:

sup(fx; yg) = x s y
inf(fx; yg) = x i y

cualesquiera sean x; y 2 L

Proof. Dejamos como ejercicio para el lector probar que es re‡exiva y an-
tisimetrica con respecto a L. Veamos que es transitiva con respecto a L.
Supongamos que x y e y z. Es decir que por de…nicion de tenemos que

xsy = y
ysz = z

Entonces
x s z = x s (y s z) = (x s y) s z = y s z = z
por lo cual x z. O sea que ya sabemos que (L; ) es un poset. Veamos ahora
que sup(fx; yg) = x s y. Primero debemos ver que x s y es una cota superior
del conjunto fx; yg, es decir

x xsy
y xsy

Por la de…nicion de debemos probar que

x s (x s y) = x s y
y s (x s y) = x s y

3
 Estas igualdades se pueden probar usando (I1), (I2) y (I4). Dejamos al lector
hacerlo como ejercicio.
Nos falta ver entonces que x s y es menor o igual que cualquier cota superior
de fx; yg. Supongamos x; y z. Es decir que por de…nicion de tenemos que

xsz = z
ysz = z

Pero entonces
(x s y) s z = x s (y s z) = x s z = z
por lo que x s y z. Es decir que x s y es la menor cota superior.
Para probar que inf(fx; yg) = x i y, probaremos que para todo u; v 2 L,

u v si y solo si u i v = u

lo cual le permitira al lector aplicar un razonamiento similar al usado en la

prueba de que sup(fx; yg) = x s y. Supongamos que u v. Por de…nicion
tenemos que u s v = v. Entonces

u i v = u i (u s v)

Pero por (I7) tenemos que u i (u s v) = u, lo cual implica u i v = u. Reciproca-

mente si u i v = u, entonces

usv = (u i v) s v
= v s (u i v) (por (I2))
= v s (v i u) (por (I3))
= v (por (I6))

lo cual nos dice que u v.

Ejercicio 2: Complete la prueba del teorema anterior demostrando que inf(fx; yg) =
x i y.
Ejercicio 2,5: (S) De…na una funcion F de f(L; ) : (L; ) es un reticuladog en f(L; s; i) :
(L; s; i) es un reticuladog la cual sea biyectiva

Re‡eccion Informatica
Como vimos recien a nivel de informacion es lo mismo tener un poset que
es un reticulado que una terna que es un reticulado. Es decir, los dos conceptos
pueden considerarse dos formas distintas de presentar la misma informacion.

4
 El orden asociado a un reticulado
Como vimos el teorema de Dedekind nos dice que un reticulado (L; s; i) es un
objeto geometrico ya que si de…nimos

= f(x; y) : x s y = yg

entonces es un orden parcial sobre L y las operaciones s e i resultan ser

supremo e in…mo respecto de este orden parcial. Llamaremos a = f(x; y) :
x s y = yg el orden parcial asociado a (L; s; i) y (L ) sera llamado el poset aso-
ciado a (L; s; i). Muchos conceptos de…nidos para posets ahora pueden aplicarse
cuando tenemos un reticulado (L; s; i). Por ejemplo si decimos que (L; s; i) tiene
elemento maximo, esto signi…cara que el poset (L; ) tiene elemento maximo.

Ejercicio 3: Use el teorema de Dedekind para calcular el cardinal del conjunto

f(f1; 2; 3g; s; i) : (f1; 2; 3g; s; i) es un reticuladog

Ejercicio 4: Si (L; s; i) es un reticulado, entonces (L; i; s) es un reticulado. Que relacion

hay entre los ordenes parciales asociados?
Ejercicio 5: V o F o I, justi…que

(a) Si (L; s; i) es un reticulado y t 2 s, entonces T i(t) = 3 UPLA

(b) Si (L; s; s) es un reticulado, entonces L tiene exactamente 1 elemento
(c) Si (L; s; i) es un reticulado, entonces siempre se da que i s
(d) Si (L; s; i) es un reticulado, entonces s(x; y; z) = s(y; z; x), cualesquiera
sean x; y; x 2 L

Notacion
Para hacer mas dinamica la notacion asumiremos las siguientes convenciones

Convencion notacional 1: Si L es un conjunto no vacio cuyos elementos son conjuntos y L cumple

la siguiente condicion

- Si A; B 2 L, entonces A [ B; A \ B 2 L

entonces ciertas veces usaremos [ (resp. \) para denotar la operacion

binaria sobre L dada por la union (resp. la interceccion). Es decir [ e \
denotaran las funciones
L2 ! L L2 ! L
(A; B) ! A [ B (A; B) ! A \ B

5
Convencion notacional 2: Si L es un conjunto no vacio cuyos elementos son numeros reales entonces
ciertas veces usaremos max y min para denotar las operaciones binarias
sobre L dadas por
L2 ! L L2 ! L
(a; b) ! max(a; b) (a; b) ! min(a; b)

Convencion notacional 3: Si L es un conjunto no vacio cuyos elementos son numeros naturales y L

cumple la siguiente condicion
- Si a; b 2 L, entonces mcm(a; b); mcd(a; b) 2 L
entonces ciertas veces usaremos mcm y mcd para denotar las operaciones
binarias sobre L dadas por
L2 ! L L2 ! L
(a; b) ! mcm(a; b) (a; b) ! mcd(a; b)

Convencion notacional 4: Si P es un conjunto no vacio contenido en !, entonces escribiremos (P; j)

para denotar al poset (P; f(x; y) 2 P 2 : xjyg). Similarmente si P es un
conjunto cuyos elementos son conjuntos, entonces escribiremos (P; ) para
denotar al poset (P; f(A; B) 2 P 2 : A Bg)

En virtud de las convenciones notacionales anteriores notese que por ejemplo

1. (R; max; min)
2. ([0; 1]; max; min)
3. (P(N); [; \)
4. (fA N : A es …nitog; [; \)
5. (N; mcm; mcd)
6. (f1; 2; 3; 6; 12g; mcm; mcd)
denotan reticulados pero deberia quedar claro que en los primeros dos ejem-
plos max denota dos distintas operaciones. Analogamente sucede con min, [,
\, mcm y mcd.
Similarmente
1. (N;j)
2. (f1; 2; 3; 6; 7g; j)
3. (ff1g; f1; 7g; f1; 2; 3g; f16; 99; 65gg; )
4. (fA N : A es …nitog; )
denotan posets pero deberia quedar claro que en los primeros dos ejemplos
j denota dos distintos ordenes parciales. Analogamente sucede con
Estas ambiguedades no nos traeran problemas si estamos atentos al contexto.

6
 Reticulados distributivos
Un reticulado (L; s; i) se llamara distributivo cuando cumpla la siguiente identi-
dad

Dis1 x i (y s z) = (x i y) s (x i z), cualesquiera sean x; y; z 2 L

Ejercicio 6: Pruebe que los siguientes reticulados son distributivos

(a) (R; max; min)

(b) (P(N); [; \)

Ejercicio 7: (Diamante) Consideremos el poset (f1; 2; 3; 5; 30g; j). Es facil ver que es
un reticulado por lo cual (f1; 2; 3; 5; 30g; s; i) es un reticulado, donde s
e i son las operaciones binarias de…nidas usando supremos e in…mos en
(f1; 2; 3; 5; 30g; j). Pruebe que (f1; 2; 3; 5; 30g; s; i) no es distributivo
Ejercicio 8: (Cubo opaco) Sea L = P(f1; 2; 3g) ff1; 2gg

(a) Haga un diagrama de Hasse del poset (L; )

(b) Por que se le llama cubo opaco?
(c) Haga (sobre el diagrama de Hasse) una serie de computos ordenados
de manera que al concluir este seguro de que (L; ) es un reticulado
(d) Sean

s : L2 ! L i : L2 ! L
(a; b) ! supfa; bg en (L; ) (a; b) ! inffa; bg en (L; )

Es distributivo el reticulado (L; s; i)? Son las operaciones s e i las

restricciones a L2 de las operaciones [ e \ de P(f1; 2; 3g)?

Subreticulados
Dados reticulados (L; s; i) y (L0 ; s0 ; i0 ) diremos que (L; s; i) es un subreticulado de
(L0 ; s0 ; i0 ) si se dan las siguientes condiciones

(1) L L0
(2) s = s0 jL L y i = i0 jL L

Notese que la condicion (2) en particular implica que L es cerrado bajo las
operaciones s0 e i0 (i.e. x s0 y, x i0 y 2 L, para todo x; y 2 L). Esto motiva la
siguiente de…nicion:

7
 Sea (L; s; i) un reticulado. Un conjunto S L es llamado subuniverso de
(L; s; i) si es no vacio y cerrado bajo las operaciones s e i (i.e. x s y, x i y 2 S, para
todo x; y 2 S). Es importante notar que si bien los conceptos de subreticulado
y subuniverso estan muy relacionados, se trata de conceptos diferentes ya que
los subreticulados de (L; s; i) son reticulados, es decir ternas y los subuniversos
de (L; s; i) son conjuntos, por lo cual no son ternas.
Es facil de chequear que si S es un subuniverso de (L; s; i), entonces (S; sjS S ; ijS S)
es un subreticulado de (L; s; i) y que todo subreticulado de (L; s; i) se obtiene en
esta forma. Es decir, hay una biyeccion entre el conjunto de los subreticulados
de (L; s; i) y el conjunto de los subuniversos de (L; s; i) (cual es?). Dicho de
manera mas rapida: los subuniversos de (L; s; i) son ni mas ni menos que los
universos de los subreticulados de (L; s; i).

Ejercicio 9: Encuentre todos los subuniversos del reticulado:

(a) (P(f1; 2g); [; \)

(b) (f1; 2; 3; 6; 12g; mcm; mcd)
(c) (R; max; min)

Para el caso b. dar todos los subreticulados. Cuantos hay?

Ejercicio 10: V o F o I, justi…que

(a) (f2; 6; 12g; min; max) es subreticulado de (f1; 2; 3; 6; 12g; mcm; mcd)
(b) Sean s e i las operaciones binarias sobre f1; 2; 3; 12g de…nidas usando
supremos e in…mos en (f1; 2; 3; 12g; j). Entonces (f1; 2; 3; 12g; s; i) es
subreticulado de (f1; 2; 3; 6; 12g; mcm; mcd)
(c) Si (L; s; i) un reticulado y S es un subuniverso de (L; s; i), entonces
T i(S) = 3 UPLA
(d) Si (L; s; i) es un reticulado y S1 ; S2 son subuniversos de (L; s; i) y
S1 \ S2 6= ;, entonces S1 \ S2 es un subuniverso de (L; s; i)
(e) Si (L; s; i) es un reticulado y S1 ; S2 son subuniversos de (L; s; i), en-
tonces S1 [ S2 es un subuniverso de (L; s; i)
(f) Si (L; s; i) es un subreticulado de (L0 ; s0 ; i0 ), entonces T i(e) = T i(e0 )
cada vez que e 2 L y e0 2 L0
(g) Si (L; s; i) es un subreticulado de (L0 ; s0 ; i0 ) y (L; s; i) es distributivo,
entonces (L0 ; s0 ; i0 ) es distributivo
(h) Si (S1 ; s1 ; i1 ) y (S2 ; s2 ; i2 ) son subreticulados de (L; s; i), entonces
(S1 ; s1 ; i1 ) \ (S2 ; s2 ; i2 ) es subreticulado de (L; s; i)
(i) Sea (L; s; i) un reticulado y sea su orden asociado. Sea S L no
vacio. Supongamos que (S; \ S 2 ) es un reticulado. Sean ^s; ^{ las
operaciones supremo e in…mo de (S; \ S 2 ). Entonces (S; ^s; ^{) es un
subreticulado de (L; s; i)

8
 Homomor…smos de reticulados
Sean (L; s; i) y (L0 ; s0 ; i0 ) reticulados. Una funcion F : L ! L0 sera llamada un
homomor…smo de (L; s; i) en (L0 ; s0 ; i0 ) si para todo x; y 2 L se cumple que

F (x s y) = F (x) s0 F (y)
F (x i y) = F (x) i0 F (y):

Un homomor…smo de (L; s; i) en (L0 ; s0 ; i0 ) sera llamado isomor…smo de (L; s; i)

en (L0 ; s0 , i0 ) cuando sea biyectivo y su inversa sea tambien un homomor…smo.
Escribiremos (L; s; i) = (L0 ; s0 ; i0 ) cuando exista un isomor…smo de (L; s; i) en
(L0 ; s0 ; i0 ). Escribiremos "Sea F : (L; s; i) ! (L0 ; s0 ; i0 ) un homomor…smo" para
expresar que F es un homomor…smo de (L; s; i) en (L0 ; s0 ; i0 ). No hay que con-
fundirse al leer esta notacion y pensar que F es una funcion cuyo dominio es
(L; s; i), lo cual por otra parte no tiene sentido ya que el dominio de una funcion
nunca puede ser una 3-upla!

Lemma 2 Si F : (L; s; i) ! (L0 ; s0 ; i0 ) es un homomor…smo biyectivo, entonces

F es un isomor…smo

Ejercicio 11: Pruebe el lema anterior

Lemma 3 Sean (L; s; i) y (L0 ; s0 ; i0 ) reticulados y sea F : (L; s; i) ! (L0 ; s0 ; i0 ) un

homomor…smo. Entonces IF es un subuniverso de (L0 ; s0 ; i0 ). Es decir que F es
tambien un homomor…smo de (L; s; i) en (IF ; s0 jIF IF ; i0 jIF IF )

Proof. Ya que L es no vacio tenemos que IF tambien es no vacio. Sean a; b 2 IF .

Sean x; y 2 L tales que F (x) = a y F (y) = b. Se tiene que

a s0 b = F (x) s0 F (y) = F (x s y) 2 IF
a i0 b = F (x) i0 F (y) = F (x i y) 2 IF

por lo cual IF es cerrada bajo s0 e i0 .

Lemma 4 Sean (L; s; i) y (L0 ; s0 ; i0 ) reticulados y sean (L; ) y (L0 ; 0 ) los posets
asociados. Sea F : L ! L0 una funcion. Entonces F es un isomor…smo de
(L; s; i) en (L0 ; s0 ; i0 ) si y solo si F es un isomor…smo de (L; ) en (L0 ; 0 ).

Proof. ()) Supongamos F es un isomor…smo de (L; s; i) en (L0 ; s0 ; i0 ). Sean

x; y 2 L, tales que x y. Tenemos que y = x s y por lo cual F (y) = F (x s y) =
F (x) s0 F (y), produciendo F (x) 0 F (y). En forma similar se puede ver que
F 1 es tambien un homomor…smo de (L0 ; 0 ) en (L; )

9
Ejercicio 12: Pruebe (() del lema anterior
Ejercicio 13: ¿Puede haber un isomor…smo de reticulados entre algun par de reticulados
de la siguiente lista?

(a) (R; max; min)

(b) ([0; 1]; max; min)
(c) (P(N); [; \)
(d) (fA N : A es …nitog; [; \)
(e) (N; mcm; mcd)

Congruencias de reticulados
Sea (L; s; i) un reticulado. Una congruencia sobre (L; s; i) sera una relacion de
equivalencia sobre L la cual cumpla:

(1) x x0 y y y 0 implica (x s y) (x0 s y 0 ) y (x i y) (x0 i y 0 )

Gracias a esta condicion podemos de…nir sobre L= dos operaciones binarias ~s

e ~{, de la siguiente manera:

x= ~s y= = (x s y)=
x= ~{ y= = (x i y)=

Ejercicio 14: Explique porque (1) nos garantiza que la de…nicion de ~s e ~{ es inambigua

La terna (L= ; ~s; ~{) es llamada el cociente de (L; s; i) sobre y la denotaremos

con (L; s; i)= .

PONER EJEMPLO DE (L= ; ~s; ~{)

Lemma 5 (L= ; ~s; ~{) es un reticulado. El orden parcial ~ asociado a este retic-
ulado cumple
x= ~ y= sii y (x s y)

Proof. Veamos que la estructura (L= ; ~s; ~{) cumple (I4). Sean x= , y= , z=
elementos cualesquiera de L= . Tenemos que

(x= ~s y= ) ~s z= = (x s y)= ~s z=
= ((x s y) s z)=
= (x s (y s z))=
= x= ~s (y s z)=
= x= ~s (y= ~s z= )

10
 En forma similar se puede ver que la estructura (L= ; ~s; ~{) cumple el resto de las
identidades que de…nen reticulado.
Por de…nicion, x= ~ y= sii y= = x= ~s y= , pero x= ~s y= = (x s y)= , por
lo cual x= ~ y= sii y= = (x s y)= .

Ejercicio 15: Dar todas las congruencias del reticulado (P(fa; bg); [; \). En cada caso
de explicitamente el reticulado cociente y diga a quien es isomorfo
Ejercicio 15,5: Sea L = f1; 2; 3; 6; 9; 18g.

(a) Haga un diagrama de Hasse de (L; mcm; mcd)

(b) De…namos para x 2 N,

(x)2 = max 3t divide a x :

t

(el "sub 2" es porque 3 es el segundo primo). Sea = f(x; y) 2

L2 : (x)2 = (y)2 g. Convensase que es una congruencia sobre
(L; mcm; mcd) (no hace falta que lo pruebe).
(c) Dar explicitamente (L; mcm; mcd)= .
(d) Dar explicitamente (i.e. dar el conjunto de pares) el orden parcial ~
asociado al reticulado (L; mcm; mcd)=
(e) De un isomor…smo de (L; mcm; mcd)= en (f0; 1; 2g; max; min)
(f) Dar una congruencia tal que (L; mcm; mcd)= sea isomorfo a (P(fa; bg); [; \)

Ejercicio 16: Sea (L; s; i) un reticulado en el cual hay un elemento maximo 1. Entonces
si es una congruencia sobre (L; s; i), 1= es un elemento maximo de
(L; s; i)=
Ejercicio 17: Sea (L; s; i) un reticulado en el cual hay un elemento maximo 1 y un
elemento minimo 0. Sea un congruencia sobre (L; s; i). Si (0; 1) 2 ;
entonces = L L.

El siguiente lema nos da una forma natural de encontrar congruencias

Lemma 6 Si F : (L; s; i) ! (L0 ; s0 ; i0 ) es un homomor…smo, entonces ker F es

una congruencia sobre (L; s; i).

Ejercicio 18: Pruebe el lema anterior

Lemma 7 Sea (L; s; i) un reticulado y sea una congruencia sobre (L; s; i).
Entonces es un homomor…smo de (L; s; i) en (L= ; ~s; ~{). Ademas ker = .

11
 Proof. Sean x; y 2 L. Tenemos que

(x s y) = (x s y)= = x= ~s y= = (x) ~s (y)

por lo cual preserva la operacion supremo. Para la operacion in…mo es

similar.

Ejercicio 19: Dar todas las congruencias del reticulado (f1; 2; 3; 6; 12g; mcm; mcd) (Ver
video con la solucion en granlogico)
Ejercicio 20: Dar todas las congruencias del diamante (ver el Ejercicio 7)
Ejercicio 21: Sea una congruencia del reticulado (L; s; i). Pruebe que

(a) si c 2 L= , entonces c es un subuniverso de (L; s; i)

(b) si c 2 L= , entonces c es un subconjunto convexo de (L; s; i), es decir
para cualesquiera x; y; z 2 L, si se da que x; y 2 c y x z y,
entonces z 2 c

(Hay video en granlogico con la resolucion)

Ejercicio 22: V o F o I, justi…que

(a) (S) Sea (L; s; i) un reticulado, sea S un subuniverso de (L; s; i) y

sea :una congruencia de (S; sjS S ; ijS S ): Hay una congruencia de
(L; s; i) tal que = \ (S S)
(b) Sea (L; s; i) un reticulado distributivo, y sea una congruencia de
(L; s; i): Entonces (L= ; ~s; ~{) es distributivo.
(c) Sea (L; s; i) un reticulado y sea es una congruencia sobre (L; s; i). Si
u 2 L es tal que u= es un elemento maximo de (L; s; i)= , entonces
u es un elemento maximo de (L; s; i)

Ejercicio 23: (S) Sea (L; s; i) un reticulado, una congruencia de (L; s; i) y el orden
inducido por s. Sea (L= ; ~s; ~{) el reticulado cociente, y sea ~ el orden
inducido por ~s. Demostrar que dados c; c0 2 L= se cumple que c ~ c0 sii
existen x 2 c y y 2 c0 tales que x y.

12