単位元の存在
公理
任意のxで
$ ex = xe = xをみたすようなeのことを単位元という
単位元の存在を集合に仮定することが多い