Instituto Superior Antonio Ruiz de Montoya

Notas de clase1: RELACIONES ENTRE CONJUNTOS

INCLUSIÓN

Sean A y B dos conjuntos. Si todo elemento de A pertenece a B, decimos que A está incluido en B,
o que A es parte de B, o que A es un subconjunto de B .

Puede ocurrir:

a) Inclusión amplia
Un conjunto A es un subconjunto de un conjunto B, o A está incluido en B, si y
solo si todo elemento de A pertenece a B.

(inclusión amplia)

b) Inclusión estricta
Un conjunto A está estrictamente incluído en B, si y solo si todo elemento de A
pertenece a B, pero existe por lo menos un elemento de B que no pertenece a
A.

𝐴 ⊂ 𝐵 ⇔ ∀𝑥: 𝑥 ∈ 𝐴 ⇒ 𝑥 ∈ 𝐵 ∧ ∃𝑦/𝑦 ∈ 𝐵 ∧ 𝑦 ∉
𝐴 (inclusión estricta)
Resumiendo

Ejemplo:
A = {x/ x es múltiplo de 6}
B = {x/ x es múltiplo de 2}
Todo múltiplo de 6 es también un múltiplo de 2 ya que: múltiplo de 6 = 6 .n
Múltiplo de 6 = (2.3). n = 2 .( 3.n) = 2.m = múltiplo de2 (donde n es un natural y por lo
tanto m también). Pero no todo múltiplo de 2 es un múltiplo de 6.
Como todo elemento de A está en B y hay elementos de B que no están en A podemos
decir que A está estrictamente incluido en B. A  B

Notas:

1) Inclusión en sentido amplio contempla la posibilidad de que los conjuntos sean iguales. Con lo
que podemos concluir cosas como:
Todo conjunto está incluido en sí mismo. A A
Todo conjunto es subconjunto de sí mismo
2)   A , A
El vacío está incluido en cualquier conjunto.
El vacío es subconjunto de cualquier conjunto.

Propiedades de la Inclusión
i) Reflexividad
Todo conjunto está incluido en sí mismo
AA
x: x ∈ A ⇒x ∈ A es V

1
Estas notas, como su nombre lo indica, hacen referencia a consideraciones generales o apuntes de clase.
Las mismas deberán ser profundizadas por el alumno con la consulta bibliográfica correspondiente.
Prof. Paula Gomez - Prof. Natalia Escribano
 Instituto Superior Antonio Ruiz de Montoya

ii) Antisimetría

Si un conjunto está incluido en otro y éste está incluido en el primero, son iguales.

AB ∧ BA ⇒ A=B

iii) Transitividad
(AB ∧ BC)⇒ AC

IGUALDAD

Dos conjuntos son iguales si y solo si cada uno de ellos está incluido en el otro
También podemos decir: Dos conjuntos son iguales si tienen los mismos elementos.
A=B ⇔ AB ∧ BA
También: A=B ⇔x:x∈ A ⇔ x ∈ B
Ejemplo:
A = {x / x ∈ R  x2 = x }
B = {x / x ∈ R  x (x-1) = 0}

x∈ A⇔x2=x ⇔ x2 –x = 0⇔ x(x-1) = 0⇔x ∈ B

A=B

Propiedades de la Igualdad
i) Reflexividad
Todo conjunto es igual a sí mismo
A=A porque AA
ii) Simetría
Si un conjunto es igual a otro, éste es igual al primero
A=B ⇒B=A
A=B ⇔AB ∧ BA⇔ BA∧ AB⇔B=A

iii) Transitividad
(A=B ∧ B=C) ⇒ A=C

COMPLEMENTACIÓN

a) De un conjunto con respecto a su superconjunto

Si A  B, se llama complemento de A con respecto a B, y se indica C A,B, al conjunto

formado por todos los elementos de B que no pertenecen a A.

C A,B = {x ∈ U / x ∈ B ∧ x∉A }

Ej:

A= {x ∈ N / x ≤3}

B= {x ∈ N / x ≤6}

Definir por extensión, por comprensión y dibujar el diagrama de Venn del C A,B

b) De un conjunto respecto del Referencial (Universal)

Dado el conjunto A, se llama complemento de A, y se indica: A’ Ac CA, al conjunto formado
por todos los elementos del Universal que no pertenecen a A.
Ac= {x / x ∈ U∧ x∉A}
x∈ Ac⇔x∉A
Prof. Paula Gomez - Prof. Natalia Escribano
 Instituto Superior Antonio Ruiz de Montoya

Propiedades

i) ∅’= U
x∈∅’⇔x ∈ U ∧ x∉∅ ⇔ x ∈U

ii) U’=∅
x∈U’ ⇔ x∉U ⇔ x ∈∅

iii) (A’)’= A Involución

x∈(A’)’⇔ x∉A’ ⇔x ∈A

iv) Si un conjunto está incluido en otro, el complemento del segundo está incluido en el
complemento del primero.
A  B ⇒B’A’

Prof. Paula Gomez - Prof. Natalia Escribano