La relación de correspondencia así establecida —que en Matemática se denomina [http://es.wikipedia.org/wiki/Biyección ''biyección'']—establece la igualdad del cardinal de cada uno de los tres conjuntos comparados: el de los jefes de familia, el de los porotos, el de los regalos. Nótese que el cardinal no es un rasgo propio de un objeto, sino una relación entre un conjunto de referencia que se considera como invariable (en este caso el de los jefes de familia) y otros conjuntos cualesquiera. Como la cardinalidad es un rasgo esencial de los números, ésto nos dice ya que '''los números no son objetos ni rasgos de objetos, sino construcciones mentales abstractas'''.