偏序

对于上述提到的自反性和传递性的举例解释:集合A={a,b,c...}上的关系R是自反 指的是R有(a,a),(b,b),(c,c)...R是传递，指若有(a,b)和(b,c), 则必有(a,c).偏序（Partial Order）的概念：设A是一个非空集，P是A上的一个关系，若P满足下列条件：Ⅰ 对任意的a∈A，（a,a）∈P;(自反性 reflexlve）Ⅱ 若（a,b）∈P，且（b,a）∈P，则 a=b;（反对称性，anti-symmentric）Ⅲ 若（a,b）∈P，（b,c）∈P，则（a,c）∈P;（传递性，transitive）则称P是A上的一个偏序关系。

若P是A上的一个偏序关系，我们用a≤b来表示（a,b）∈P。

整除关系便是一个定义在自然数上的一个偏序关系|，3|6的含义是3整除6。

大于或等于也是定义在自然数集上的一个偏序关系。