Este documento clasifica los tipos de conjuntos en universal o de referencia, vacío, unitario, finito e infinito. Los conjuntos universales contienen un amplio número de elementos y sirven de base para crear otros conjuntos. Los conjuntos vacíos no tienen elementos. Los conjuntos unitarios solo tienen un elemento. Los conjuntos finitos tienen un número contable de elementos que se pueden enumerar. Los conjuntos infinitos tienen un inicio pero no fin, por lo que sus elementos no se pueden contar.