El número de elementos de un conjunto finito es un número natural, y cualquiera de sus subconjuntos es también finito y tiene menos elementos.