判断题

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

【参考答案】

正确