Sea A un conjunto dado en el que se han definido dos operaciones binarias (formula_3 ; formula_4).