等值式- 基本等价关系的源代码