全部

1·It is transitive: for any non-null reference values x, y, and z, if x.equals (y) returns true and y.equals (z) returns true, then x.equals (z) should return true.

具有传递性：对于任何非空的参考值x、y和z，如果x.e quals (y)返回真值并且y.e quals (z)也返回真值，那么x.e quals (z)也应该返回真值。

2·Since optimum logic does not give a strict definition of concept 'optimum', it USES a non-reflexive, asymmetric and transitive relation as its optimum relation.

由于择优逻辑对“优”的概念未给出严格定义，因而择优逻辑一般使用的优选关系是一种具有禁自返、反对称和传递性的关系。