이항연산

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

이항연산(二項演算)이란 두 개의 피연산자와 한 개의 연산자를 가지는 연산을 말한다. 대표적인 예로 덧셈, 뺄셈, 곱셈, 나눗셈과 같은 산술의 연산, 즉 사칙연산이 있다.

좀 더 정확한 수학적 정의에 따르면, 집합 S에 대한 이항연산은 곱집합 S \times S에서 집합 S로 가는 함수 f이다.

f:\, S \times S \rightarrow S