Una estructura algebraica es un par ordenado formula_332 siendo formula_7 un conjunto y formula_334 un conjunto ordenado de operaciones binarias definidas sobre formula_7 que cumplen con una lista de propiedades.