En álgebra abstracta un conjunto formula_1