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