Se pide calcular la cardinalidad del conjunto formula_7.