💬 같이 떠들 사람? 노바위키 디스코드
어떤 연산 @와 임의의 수 a에 대해
a @ x = x @ a = a를 만족하는 x를 연산 @의 항등원이라 한다.
덧셈의 경우에는
임의의 수 a에 대해
a + 0 = 0 + a = a이기 때문에 덧셈의 항등원은 0이다.
참고로 곱셈의 항등원은 1이다. 귀찮아서 증명은 생략.