Определение Пусть - тройка непустых множеств. Бинарной операцией или двуме́стной опера́цией в паре со значениями в называется
отображение , где Если , то действие называется внутренним, если или - внешним. В частности, любое внутреннее действие является внешним.
Продолжение на Wikipedia.οrg...