항등원: 두 판 사이의 차이

어떠한 집합 '''''G'''''와 이항연산자 *에가 대해존재하고, '''''G'''''의 모든 원소 '''a'''에 대해 각각,

: <math>a\begin{cases} e_1 * ea = ea *\\ a * e_2 = a \,end{cases}</math>

인 '''''G'''''의 원소 '''e''₁와 ''e''₂가 유일하게 존재하면, '각각 ''e''₁을 연산자 *의 '를''좌항등원'''(左恒等元), ''e''₂을 연산자 *의 항등원이라고'''우항등원'''(右恒等元)이라 부른다. 만약 어떤 원소의 좌항등원과 우항등원이 동일하면 줄여서 '''항등원'''이라 한다.