Estructura Algebraica

Un conjunto (o clase) provisto de operaciones finitas y relaciones especificadas — tales como operaciones binarias, operaciones unarias y elementos distinguidos — junto con los axiomas que satisfacen; estos datos definen el objeto algebraico en estudio (p. ej., grupo, anillo, reticulado).