Dado un conjunto formula_7, una operación binaria formula_315 sobre formula_7 es una función de dos variables formula_317 expresada como formula_318