在实数之间的相等关系、在集合之间的相等关系、在谓词公式之间的等值关系具有类似的性质。它们都具有自反性、对称性和传递性。下面把具有这三种性质的关系称为等价关系。这是一类很重要的关系，可以用集合上的等价关系把该集合划分成等价类。 一、等价关系 　　定义10.6.1 　　定义10.6.2 　　定理10.6.1 　　定义10.6.3