∀x∈D,x∗e=e∗x=e

是不是应该是 ∀x∈D,x∗e=e∗x=x 啊