Un Magma es una estructura algebraica de la forma formula_1 con A es un conjunto donde se ha definido una operación binaria interna: formula_2.