Un subconjunto A de un conjunto B, es un conjunto que contiene algunos de los elementos
de B (o quizá todos):
Un conjunto A es un subconjunto del conjunto B si cada elemento de A es a su vez un
elemento de B.
Cuando A es un subconjunto de B, se denota como A ⊆ B y se dice que «A está contenido
en B». También puede escribirse B ⊇ A, y decirse que B es un superconjunto de A y también
«B contiene a A» o «B incluye a A».
Todo conjunto A es un subconjunto de sí mismo, ya que siempre se cumple que «cada
elemento de A es a su vez un elemento de A». Es habitual establecer una distinción más fina
mediante el concepto de subconjunto propio: A es un subconjunto propio de B si es un
subconjunto de B pero no es igual a B. Se denota como A ⊊ B, es decir: A ⊆ B pero A ≠ B (y
equivalentemente, para un superconjunto propio, B ⊋ A).n 2
Ejemplos.
El «conjunto de todos los hombres» es un subconjunto propio del «conjunto de todas
las personas».
{1, 3} ⊊ {1, 2, 3, 4}
{1, 2, 3, 4} ⊆ {1, 2, 3, 4}
Conjuntos disjuntos[editar]
Artículo principal: Conjuntos disjuntos
Dos conjuntos A y B son disjuntos si no tienen ningún elemento en común. Por
ejemplo, los conjuntos de los números racionales y los números irracionales son
disjuntos: no hay ningún número que sea a la vez racional e irracional.
La intersección de dos conjuntos disjuntos es el conjunto vacío.
Cardinalidad[editar]
Artículo principal: Número cardinal
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se
pueden contar los elementos del conjunto:
El número de elementos de un conjunto finito es su cardinal.
El cardinal se denota por |A|, card(A) o #A. Así, en los ejemplos anteriores, se
tiene que |A| = 4 (cuatro números), |B| = 3 (tres colores) y |F| = 10 (diez
cuadrados). El único conjunto cuyo cardinal es 0 es el conjunto vacío ∅.
Existen, a su vez, determinadas propiedades de cardinalidad. Si tomamos como
ejemplo dos conjuntos, A y B:
Y en el caso de tres conjuntos, A, B y C:
En un conjunto infinito no hay un número finito de elementos. Es el caso por
ejemplo de los números naturales: N = {1, 2, 3, …}. Sin embargo, existe una
manera de comparar conjuntos infinitos entre sí, y se obtiene que existen
conjuntos infinitos «más grandes» que otros. El «número de elementos» de un
conjunto infinito es un número transfinito.
Cardinalidad de los reales[editar]
Artículo principal: Número real
Uno de los resultados más importantes de Georg Cantor fue que la cardinalidad
de los reales () es más grande que la