Pertenencia e Inclusión en Conjuntos

• Relación de pertenencia

La relación de pertenencia sólo se da entre los elementos de un conjunto y éste. Es decir

es perfectamente correcto decir que uno o más elementos pertenecen a un conjunto. En este
caso, nunca debe usarse la palabra inclusión, por tanto no es correcto decir que un elemento
está incluido en un conjunto.

La relación de pertenencia tiene un símbolo específico para el conector “pertenece” y para

el conector “no pertenece”. Veamos un ejemplo sencillo: si consideramos a V, conjunto de
las letras vocales, éste definido por extensión sería así:

V = { a, e, i, o, u }

Entonces es correcto decir cualquiera de las siguientes afirmaciones, que escribiré también
en lenguaje de símbolos matemáticos. Pon atención.

El elemento a pertenece a V ==> a ∈ V

El elemento b no pertenece a V ==> b ∉V

 • Relación de inclusión

La relación de inclusión, se da entre conjuntos y subconjuntos. Es correcto decir que un

subconjunto está incluido en un conjunto mayor, pero no es correcto decir que un
subconjunto pertenece a un conjunto mayor.

La relación de inclusión tiene un símbolo específico para el conector “está incluido” y para
el conector “no está incluido”. Veamos un ejemplo sencillo en la misma línea del anterior:
consideramos al conjunto L como el conjunto de las letras del abecedario.

L = { a, b, c, d, e…………. x, y, z }

Entonces es correcto decir cualquiera de las siguientes afirmaciones, que escribiré también
en lenguaje de símbolos matemáticos. Pon atención.

El subconjunto V (de las vocales) está incluido en L:

V⊂L

El subconjunto G (letras griegas) no está incluido en L:

G⊄L
Además, podemos hacer la siguiente clasificación de subconjuntos:
O sea, por ejemplo:

Entonces, se define un subconjunto impropio L dentro de un conjunto J como aquel subconjunto

en el que todos los elementos de L son elementos de J y además no existe ningún elemento de J
que no pertenezca a L.