G是一个非空集合,“O”为定义在G中任意两个元素之间的二元代数运算,若G及其运算满足对于任意的a,b∈G,aob=c,则