Def.Алгебраической системой называется МножествоG с заданным на нём набором операций и отношений.
Операция может обозначаться знаком . + оипрочее,либопустымсимволом:a \cdot b, a+b, a \circ b, a b$ и т.д.
Будем пользоваться мультипликативной записью (умножение)