Пусть  — тройка непустых множеств. **Бинарной операцией или двуместной операцией** в паре  со значениями в C называется отображение , где 

Если A = B = C, то действие называется внутренним, если A = C или B = C — внешним. В частности, любое внутреннее действие является внешним.