12.4.2 等价与同值的判定