Sea A un conjunto en el cual se ha definido una operación binaria interna formula_1 tal que