问答题 设A={a,b,c,d},在A上定义一个如表5-20所示的二元运算★以及A上的等价关系:
   R={〈a,a〉,〈a,b〉,〈b,a〉,〈b,b〉,〈c,c〉,〈c,d〉,〈d,c〉,〈d,d〉},
   
表5-20
a b c d
a a a d c
b b a c d
c c d a b
d d d b a

   证明:R是A上的同余关系.
【正确答案】取(a,a),(a,b>∈R,有(a★a,a★b)=(a,a)∈R;取(a,b),(c,d)∈R,有(a★c,b★d)=(d,d)∈R.
   其他类似.所以R是A上的同余关系.
   R将A划分为{a,b},{c,d}两个同余类.
【答案解析】