>>311
（１）によって単位元Eがあり、
（２）によって任意のAに対しｘA=E=Axとなるｘが存在する。