Llamamos cardinal de un conjunto formula_3 al número de elementos que contiene formula_3.