Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada una parte propia de los mismos, esta contiene un número de elementos menor que todo el conjunto".