El documento describe tres tipos de conjuntos: conjuntos finitos, numerables e innnumerables. Explica que un conjunto es finito si tiene un número finito de elementos o es vacío, e infinito de lo contrario. Un conjunto es numerable si sus elementos pueden enumerarse en una correspondencia uno a uno con los números naturales. Los conjuntos subconjuntos de un conjunto numerable y uniones de conjuntos numerables también son numerables. No todos los conjuntos infinitos son numerables.