En Álgebra abstracta, si tenemos un conjunto formula_1 en el que se ha definido una operación matemática formula_2, que anotamos: formula_3, siendo la operación formula_2, interna en formula_1: