이항 연산

항이 두 개인 연산. 예: $a + b = c$, $a \times b = c$, where $a$, $b$, and $c$ are in the same set $S$.

$f: S \times S \rightarrow S$

이항 함수와 달리 두 피연산자 $a$, $b$와 결과 $c$ 모두 같은 집합에 속한 원소여야 한다.