Si todos los elementos de un conjunto son parte de los elementos de otro, se dice que el primero es un "subconjunto" del segundo o que "está incluido" en el segundo.