Si todos los elementos de un conjunto formula_3 pertenecen a otro conjunto formula_11 se dice que formula_3 es un "subconjunto" de formula_11, lo cual se representa por formula_21, y puede interpretarse diciendo que el conjunto formula_3 esta incluido dentro del conjunto formula_11.