с заданным на нём набором операций и отношений (сигнатура)
Обычно операции
и отношения удовлетворяют некоторой системе аксиом< A, >
Алгебра – алгебраическая система с заданным на нём набором операций
Модель – алгебраическая система с заданным на нём набором отношений