preorder 先根. ... A relation R is a pre-order if it is reflexive (x R x) and transitive (x R y R z => x R z). If a pre-order is also antisymmetric (x R y R ...
確定! 回上一頁