Un subconjunto A es una colección de elementos, todos y cada uno de los cuales está incluido en otro conjunto B igual o mayor. Dicho de otra forma, un subconjunto es una grupo de elementos que pertenecen a otro conjunto. Se dice en ese el caso que el subconjunto A está incluido en el conjunto B (ver imagen adjunta). Por ejemplo, los números pares son un subconjunto de los números enteros.