Una Estructura Algebraica o Sistema Algebraico es un lista de la forma  donde E es un conjunto (llamado el "conjunto base" o portador de la estructura) y p, p, ...