Un ejemplo de estructura algebraica es el grupo , el cual se define como el par formula_336 donde formula_337 es un conjunto y formula_315 una operación binaria definida en formula_337 que cumple con las siguientes propiedades: