partial order（偏序关系）：一种在集合上定义的关系，满足自反性（每个元素与自身可比）、反对称性（若 a ≤ b 且 b ≤ a，则 a = b）、传递性（若 a ≤ b 且 b ≤ c，则 a ≤ c）。称为“偏序”是因为并非任意两个元素都必须可比较（有的元素“不可比”）。
/ˌpɑːrʃəl ˈɔːrdər/
A partial order can compare some elements, but not necessarily all of them.
偏序关系可以比较某些元素，但不一定能比较所有元素。
The subset relation (⊆) forms a partial order on the power set of a given set, producing a structure used in lattice theory.
在某个集合的幂集上，“子集关系”(⊆) 构成偏序关系，并产生一种在格论中常用的结构。
partial 来自拉丁语 partialis（“部分的”），强调“不是全部”；order 来自拉丁语 ordo（“排列、秩序”）。合在一起，partial order 字面意思是“部分的秩序/排序”，用来表示一种“只对部分元素能排出先后”的数学关系。
Select Language