Por ejemplo, consideremos el conjunto formula_6.