tenemos los conjuntos cocientes formula_66 y formula_136.