Um subconjunto é um conjunto contido noutro conjunto. Se o conjunto A = {1, 2} e o conjunto B = {1, 2, 3, 4}, então A é um subconjunto de B. Todo o conjunto é um subconjunto de si próprio. O conjunto vazio é um subconjunto de todo o conjunto.

Um subconjunto próprio é um subconjunto que não é igual ao conjunto original. A tem 2 elementos; B tem 4. Como A ≠ B, A é um subconjunto próprio de B. O número de subconjuntos de um conjunto com n elementos é 2^n.

Os subconjuntos aparecem na teoria dos conjuntos, na lógica e na ciência da computação. Em probabilidade, os acontecimentos são subconjuntos do espaço amostral. Nas bases de dados, as consultas selecionam subconjuntos de registos. O conceito é simples, mas fundamental para a matemática moderna.

• Conjunto contido dentro de outro conjunto
• Todo o conjunto é um subconjunto de si próprio.
• O conjunto vazio é um subconjunto de qualquer conjunto.
• O número de subconjuntos é 2^n