jpdb beta

1. ある二項演算が定義された集合において、集合の任意の元と演算しても常にその元自体が結果となるような元。二項演算 ◦ と集合 A において、任意の a ∈ A について a ◦ e = e ◦ a = a を満たすことができる e ∈ A のこと。足し算と整数の例では 0、掛け算と実数の例では 1。