Поняття алгебри

Алгеброю називається система , що складається з основної множини (основи алгебри) та визначеної на ній скінченної або нескінченної множини n-арних алгебраїчних операцій, які називаються сигнатурою операцій алгебри.

Знайти n-арну операцію на множині означає зумовити для будь-яких елементів елемент , який є результатом застосування операції до елементів . Це записується так: . Вимога однозначності операції обов’язкова. Звідси випливає, що є функцією на .