I.

RELACIÓN ENTRE CONJUNTOS

I.1. Inclusión
a. Definición

Propiedades de la Inclusión:

 Reflexividad:
Esto quiere decir que todo conjunto está incluido en sí mismo, dicho de otra forma,
todo conjunto es subconjunto de él mismo. Esto se afirma porque A⊂A cumple con
la definición de inclusión, esto se visualiza de la siguiente manera en símbolos:

A⊂A⇔(∀x∈A⇒x∈A)
 Transitividad:

Para que se verifique esta propiedad deben haber al menos tres conjuntos, a
saber, A, B y C y ocurrir que si el primer conjunto está incluido en el segundo y a su
vez el segundo está incluido en el tercero, se concluye entonces que el primero
está contenido en el tercero. En otras palabras, si el primer conjunto es
subconjunto del segundo y el segundo es subconjunto del tercero, entonces el
primero es subconjunto del tercero, todo esto en virtud de que se cumple con la
definición de inclusión de conjuntos. En símbolos se escribe como sigue:

A⊂B ∧B⊂C⇒ A⊂C

Entiéndase que la flecha en la expresión simbólica es una implicación, es decir,

todo lo que se encuentra a la izquierda de ella se conoce en Matemática como la
hipótesis y lo que está a la derecha se conoce como la tesis. Esto indica que
considerando la hipótesis y la definición de inclusión se puede demostrar la tesis.

Demostración:
∀x∈A⇒x∈B, por hipótesis A⊂B
⇒x∈C, por hipótesis B⊂C
⇒A⊂C, por definición de Inclusión de Conjuntos
∴Se demuestra que A⊂B ∧B⊂C⇒ A⊂C

 Antisimetría:

Esta propiedad se verifica entre dos conjuntos A y B cualesquiera si ocurre que los
elementos del primer conjunto pertenezcan al segundo y los elementos del
segundo pertenecen al primero entonces se concluye que tales conjuntos son
iguales. La afirmación se representa en símbolos como sigue:

A⊂B ∧B⊂A⇒ A=B

 b. Ejemplos
I.2. Iguales
a. Definición
b. Ejemplos
I.3. Disyuntos
a. Definición
b. Ejemplos
I.4. Potencias
a. Definición
b. Ejemplos
BIBLIOGRAFÍA
Armando, R. (2001). Algebra I. Edición XX. Editorial El Ateneo.