冪等元
二項演算で、ある要素と同じ要素を演算したときに、結果が同じ要素になるもの。
$ a \star a = a \quad(\star は定義による)
実数の乗法では0と1が冪等元になる。
関連
冪等