| 相等关系 equipollence relation 一种对称关系(就两个关系项而言)和传递关系(就三个或三个以上关系项而言)。当对象a具有对象b所具有的一切属性、而对象b也具有对象a所具有的一切属性时，存在于对象a与对象b之间的一种关系。相等关系体现在时间、空间、数量等等许多方面。如时间上的相等，体积上的相等。根据对象a与b具有相等关系，即“a=b”的定义，就可以在a与b的上下文中，将二者互相替代，而得到这样一个定理：“如果a=b，并且c=b，则a=c。”这一定理的证明是在“a=b”中，以c代b而证得的。这一定理表明：相等关系乃是传递关系的一种，但传递关系并不一定都是相等关系。三个对象之间的相等关系是相等关系推理的客观基础。 |