Definición 1.2: Sea formula_24 un conjunto y formula_8 una operación binaria en formula_24.