非空集合G关于运算⊕满足:(1)对任意a、b∈G,都有a⊕b∈G;(2)存在c∈G,使得对一切a∈G,都有a⊕c=c⊕a