Al establecer que un conjunto ("M, formula_6") posee un operador interno, estamos definiendo en dicho conjunto M, una estructura algebraica de magma.