Subconjunto Propio

Si nos fijamos en la definicin de subconjunto y dejamos que nuestra mente

trabaje un poco, llegamos a una conclusin rara. Digamos que A es un
conjunto. Es verdad que todo elemento a de A tambin es un elemento de A?
Bueno, est claro que s, no? Y eso no significa que A es un subconjunto de
A? Esto no parece muy correcto, no? Queremos que nuestros subconjuntos
sean propios. As que introducimos la definicin de subconjuntos propios.
A es un subconjunto propio de B si y slo si cada elemento de A est en B, y
existe por lo menos un elemento de B que no est en A.
Esta pequea parte del final es la que hace que A no sea un subconjunto propio
de s mismo. Por lo dems, un subconjunto propio es lo mismo que un
subconjunto normal.
As que por ejemplo, {1, 2, 3} es un subconjunto de {1, 2, 3}, pero no es un
subconjunto propio de {1, 2, 3}.
Por otra parte, {1, 2, 3} es un subconjunto propio de {1, 2, 3, 4} porque el
elemento 4 no est en el primer conjunto.
Fjate en que si A es un subconjunto propio de B, entonces tambin es un
subconjunto de B.