等价关系 设N是正整数集,又设R是定义在N N上的二元关系