理解拟序关系

集合P上的一个二元关系≤称为拟序关系（quasi-order）（有时我们也称为预序关系（preorder））：

若该二元关系满足如下条件：

1.自反性：a ≤ a，对于P中任意的元a(reflexivity)；

2.传递性: 若 a ≤ b 且 b ≤ c 则 a ≤ c ，这里的 a,b,c 为P中的元(transitivity).

满足反对称性的拟序关系就称为偏序关系。
在数学中，预序关系（简称预序，又称先序，preorder）是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。

定义
考虑集合 P 及其上的二元关系 。若≤具有自反性和传递性，则称≤为预序。具体来说，对任意 P 的元素 a，b 和 c，下列性质成立：

a≤a (自反性)
若 a≤b 且 b≤c，则 a≤c (传递性)
带预序的集合称为预序集合。同时满足反对称性（若 a≤b 且 b≤a，则 a = b）的预序为偏序。

http://zh.wikipedia.org/zh-cn/%E6%8B%9F%E5%BA%8F%E5%85%B3%E7%B3%BB