Un conjunto es una colección de elementos que comparten alguna característica y pueden considerarse como un objeto único. Un subconjunto es un grupo de elementos de un conjunto mayor que también pueden formar su propio conjunto. Un conjunto está propiamente incluido en otro cuando todos sus elementos forman parte del conjunto mayor.