En teoría de conjuntos, un conjunto infinito es un conjunto que no es finito.