1.非空集合上的同余关系一定是等价关系吗?反之如何?(举例加以说明)