Un subconjunto es un conjunto contenido dentro de otro conjunto. Si el conjunto A = {1, 2} y el conjunto B = {1, 2, 3, 4}, entonces A es un subconjunto de B. Todo conjunto es un subconjunto de sí mismo. El conjunto vacío es un subconjunto de todo conjunto.

Un subconjunto propio es un subconjunto que no es igual al conjunto original. A tiene 2 elementos; B tiene 4. Como A ≠ B, A es un subconjunto propio de B. El número de subconjuntos de un conjunto con n elementos es 2^n.

Los subconjuntos aparecen en la teoría de conjuntos, la lógica y la informática. En probabilidad, los eventos son subconjuntos del espacio muestral. En las bases de datos, las consultas seleccionan subconjuntos de registros. El concepto es sencillo, pero fundamental para las matemáticas modernas.

• Conjunto contenido dentro de otro conjunto
• Cada conjunto es un subconjunto de sí mismo.
• El conjunto vacío es un subconjunto de cada conjunto.
• El número de subconjuntos es 2^n