Si existe una correspondencia uno a uno entre un conjunto A y una sección Sn de los naturales, diremos que n es la cardinalidad del conjunto y lo anotaremos por #(A) = n