网站服务器安装教程视频教程/企业培训课程名称
英语：Partiallyordered
其实就是指局部顺序关系的意思，或者部分排序关系。
设R是集合A上的一个二元关系，若R满足：
Ⅰ 自反性：对任意x∈A，有xRx；
Ⅱ 反对称性（即反对称关系）：对任意x,y∈A，若xRy，且yRx，则x=y；
Ⅲ 传递性：对任意x, y,z∈A，若xRy，且yRz，则xRz。
则称R为A上的偏序关系，通常记作≼。注意这里的≼不必是指一般意义上的“小于或等于”。
若然有x≼y，我们也说x排在y前面（x precedes y）。
偏序分类：
-
非严格偏序，自反偏序
给定集合S，“≤”是S上的二元关系，若“≤”满足：
-
自反性：∀a∈S，有a≤a；
-
反对称性：∀a，b∈S，a≤b且b≤a，则a=b；
-
传递性：∀a，b，c∈S，a≤b且b≤c，则a≤c；
则称“≤”是S上的非严格偏序或自反偏序。
-
严格偏序，反自反偏序
给定集合S，“<”是S上的二元关系，若“<”满足：
-
反自反性：∀a∈S，有a≮a；
-
非对称性：∀a，b∈S，a<b ⇒ b≮a；
-
传递性：∀a，b，c∈S，a<b且b<c，则a<c；
则称“<”是S上的严格偏序或反自反偏序。
严格偏序与有向无环图（DAG）有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。其传递闭包是它自己 [2] 。