集合Aに2項演算　・：AxA→Aが定義されている。
元　e∈A　は任意のa∈Aに対し、a・e=e・a=aを満たすとき演算・に関するAの単位元という。

これだけ。