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

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