Como formula_73 se observa que formula_74 es definido por una fórmula formula_75 y por lo tanto es un conjunto formula_75.