设S=(Z,+)，aRb当且仅当a≡b(mod 2)， 商半群(S/R,⨁)的定义为({[0],[1]},⨁), [0]⨁[0]=[0],[0]⨁[1]=[1],[1]⨁[0]=[1],[1]⨁[1]=[0]。