网页拟序(quasi-ordering)或称预序,是序关系的弱化版本,很多代数对象都有拟序但不一定有序。 假设 Q {\displaystyle Q} 是非空集合,如果其上的一个二元关系 ρ {\displaystyle \rho} 满足 自反性: ∀ a ∈ Q , a ρ a . {\displaystyle \forall a \in Q, a \rho a.}
网页拟序关系(quasi-order),有时我们也称为预序关系(preorder)。 设R是集合A上的二元关系,若R满足条件: 反自反性:对于R中任意的元a,不成立a < a (irreflexivity); 传递性:若 a < b 且 b < c ,则 a < c 。这里的 a,b,c 为R中的元(transitivity)。
网页拟序关系(quasi-order),有时我们也称为预序关系(preorder)。 设R是集合A上的二元关系,若R满足条件: 反自反性:对于R中任意的元a,不成立a < a (irreflexivity); 传递性:若 a < b 且 b < c ,则 a < c 。这里的 a,b,c 为R中的元(transitivity)。