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.