En Álgebra Abstracta, se trata de una teoría de las operaciones, lo que implica que la validez de los resultados se tienen que deducir de las propiedades básicas (axiomas).