La segunda de ellas fue propuesta históricamente por Richard Dedekind, y se basa en la propiedad de tener subconjuntos propios tan grandes como sí mismo.