左単位元
right identify
マグマ
で以下が成り立つ
$ e
を右単位元と呼ぶ。
$ \forall x, e \star x = x \quad(\star は二項演算子)
関連
単位元
右単位元