Subconjuntos

Nomenclatura:
Biyectiva = Inyectiva y sobreyectiva
Refiere al número de elementos del conjunto. Si dos conjuntos tienen el mismo
número de elementos, se dice que tienen la misma cardinalidad (cantidad de
elementos).

⊂ = 𝑒𝑠𝑡á 𝑖𝑛𝑐𝑙𝑢𝑖𝑑𝑜 𝑒𝑛 (𝑖𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑖𝑎)

⊄ = 𝑛𝑜 𝑒𝑠𝑡á 𝑖𝑛𝑐𝑙𝑢𝑖𝑑𝑜 𝑒𝑛. 𝑛𝑜 𝑒𝑠 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒
⊆ = 𝑒𝑠 𝑢𝑛 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑖𝑚𝑝𝑟𝑜𝑝𝑖𝑜 (𝐼𝑛𝑐𝑙𝑢𝑖𝑠𝑖ó𝑛 𝑖𝑚𝑝𝑟𝑜𝑝𝑖𝑎)
↔ = 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎
⟶ = 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 y/o es implicado por
Ejemplo de inclusión
Sea U el conjunto de todas las transacciones registradas en el libro contable de la
empresa “Transportes de la Huasteca, S,R.L. En el primer semestre del 2018.
S.R.L. = Sociedad de responsabilidad Limitada.
Agrupamos y clasificamos sus elementos de acuerdo con la naturaleza de las
transacciones.

Concepto Tipo de Conjunto

transacción
A Transacciones que incrementan Disponible D
el activo
B Transacciones que incrementan Exigible E
el activo
C Transacciones que incrementan Circulante C
el activo
D Transacciones que incrementan Fijo F
el activo
E Transacciones que incrementan Transitorio T
el activo
F Otras Transacciones Conjunto O
Sabemos que cada elemento del conjunto D, es el elemento del conjunto U por lo
tanto, se dice que:
U incluye a D
D está incluido en U
D es un subconjunto de U

Las frases significan lo mismo y se abrevia con el símbolo “⊂ “, esto se denota

una relación entre conjuntos “Relaciones de inclusión”.
Si relacionamos al conjunto U con los conjuntos E, C, F, T y O, se observa que U
incluye a E,C, F, etc. O lo ↔ que los conjuntos E, C,F,T y O son subconjuntos de
U.
Estas relaciones las podremos simbolizar:

D ⊂ U; E ⊂ U; C⊂ U; F⊂ U; T ⊂ U; O ⊂U

Para dos conjuntos cualesquiera A y B, se dice que A es un subconjunto de B y lo

simbolizamos por A ⊂ B, es decir, si cada elemento de A es también un elemento
de B.

A⊂ B↔ a∈A⟶ a ∈B

Ejemplo
M = {21. 27,30}
N = { 21, 30,40,27}

M ⊂ N, ya que cada elemento del conjunto M pertenece al conjunto N.

Si el conjunto A no es subconjunto de B, existe al menos un elemento de A que no
pertenece a B. Esto se indica por A ⊄ B, y se debe a que existe a ∈ A y a ∉ B.

Ejemplo
A = {dinero en efectivo, constancia de materias primas, documentos a cobrar,
documentos a pagar, maquinaria en instalaciones}

B = { x/x es un elemento del activo}, se tiene A ⊄ B ya que los documentos a

pagar no son elementos del activo.
 Igualdad e Inclusión
Recordemos la igualdad de conjuntos
Dos conjuntos son iguales si y solo si cada elemento de un conjunto es también un
elemento del otro conjunto.

A=B↔ a

Considerando cada uno de estas relaciones y recurriendo a la definición de

inclusión se tiene que.

1 a 𝜖 𝐴 → 𝑎 𝜖 𝐵 significa que A ⊂ B

2 b 𝜖 𝐵 →𝑏 𝜖 𝐴 significa que B ⊂ A
Resumiendo las expresiones 1 y 2 se concluye que A = B e implica que A ⊂ B y
que B ⊂ A y recíprocamente A ⊂ B y B ⊂ A → que A = B
Por lo tanto, dos conjuntos son iguales si cada uno es un subconjunto de otro.
Formalmente la relación de igualdad entre conjuntos resulta ser un caso particular
de la relación de inclusión, ya que toda igualdad se puede escribir como un par de
relaciones de inclusión.

Subconjuntos impropios
Sabemos que A = A para cualquier conjunto A. expresando la igualdad en
términos de la inclusión (subconjunto), A = A es equivalente de A ⊂ A y A ⊃ A y
como son equivalente se puede deducir que cualquier conjunto es un subconjunto
de si mismo.
Aquí hablamos de una inclusión, por lo tanto se conoce como inclusión impropio.

El conjunto A es un subconjunto impropio de, lo que simboliza A⊆A

Ejemplo:
{Pera, guayaba} ⊆ {Pera, guayaba}
Se observa que cada elemento del primer conjunto es también un elemento del segundo conjunto.
Subconjunto propio (Inclusión propia)
Se tiene los conjuntos P y Q
P = { a,b,c} y Q = {a,b,c,f}
Vemos que
P ≠ Q, ya que f ∈ Q y f ∈ P
P ⊂ Q ya que todo elemento de P es un elemento de Q
La inclusión propia, donde P es un subconjunto propio de
Q (Q incluye a P, pero P≠ Q

Podemos decir:
a).- Si A es un subconjunto de B y existen en B elementos
que no pertenecen A, se dice, que la relación de inclusión es
impropia y se simboliza:

A ⊆B

b).- Si A es un subconjunto de B y existen en B elementos que

pertenecen A, decimos, que la relación de inclusión es propia y
se simboliza:

A ⊂B