Операцией называют функцию, все аргументы и значения которой принадлежат одному и тому же множеству. Функция одного аргумента называется унарной операцией.
Примеры унарных операций – элементарные функции 
; дополнение множества 
, обратное отношение 
.
Функция двух аргументов 
, имеющая тип 
, называется бинарной операцией.
Примеры бинарных операций – арифметические операции сложения, умножения; операции над множествами – пересечение, объединение.
Множество 
вместе с заданными на нем операциями 
называется алгебройи обозначается 
.
Здесь – называется основным множеством, а – сигнатурой алгебры.
Пример: булева алгебра.
