离散数学r1∪r2等价关系