全关系一定是等价关系