Sea "A" un conjunto no vacío, y sean formula_1 y formula_2 las dos operaciones binarias en A.