Алгебраическая система или
алгебраическая структура —
множество ![](http://info.babylon.com/cgi-bin/BabylonInformation5.fcgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=2246)
(
носитель) с заданным на нём набором операций (
сигнатура), удовлетворяющим некоторой системе
аксиом. То есть понятие алгебраической системы является специализацией понятия
универсальной алгебры.
n-арная
операция на
G — это
отображение прямого произведения
n экземпляров множества в само множество
![](http://info.babylon.com/cgi-bin/BabylonInformation5.fcgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1805)
. По определению,
0-арная операция — это просто выделенный элемент множества. Чаще всего рассматриваются
унарные и
бинарные операции, поскольку с ними легче работать. Но в связи с нуждами
топологии,
алгебры,
комбинаторики постепенно накапливается техника работы с операциями большей
арности, здесь в качестве примера можно привести теорию
операд (клонов полилинейных операций) и алгебр над ними (мультиоператорных алгебр).