En el capítulo Las Estructuras Algebraicas se presentó la noción intuitiva de \textit{estructura algebraica} como consistente de un conjunto con una o varias operaciones.