1. Універсальна алгебра, в якій операції можуть бути багатомісними, тобто перетворювати не один, а декілька аргументів в один результат; загальна алгебраїчна структура, що узагальнює поняття звичайної алгебри.
2. Розділ математики, що вивчає властивості та структури таких універсальних алгебр з багатомісними операціями.