Este es un ejemplo de un conjunto del mismo tamaño que uno de sus subconjuntos propios (algo imposible para conjuntos finitos).