partially ordered set（偏序集）：一种集合，配有一个“≤”式的关系，使得任意元素都满足自反性（a ≤ a）、反对称性（a ≤ b 且 b ≤ a 则 a = b）和传递性（a ≤ b 且 b ≤ c 则 a ≤ c），但不要求集合中每一对元素都可比较（也就是可能既不是 a ≤ b，也不是 b ≤ a）。
/ˌpɑːrʃəli ˈɔːrdərd sɛt/
The set of subsets of a given set forms a partially ordered set under inclusion.
在“包含”关系下，一个集合的所有子集构成一个偏序集。
Unlike a total order, a partially ordered set can contain elements that are incomparable, which is why it is useful for describing dependency structures.
不同于全序，偏序集可以包含不可比较的元素，因此它适合用来描述依赖关系这类结构。
该术语由三部分组成：partially（部分地）+ ordered（有序的）+ set（集合）。它出自数学与逻辑学的语言传统，用来强调“有序”只在某些元素之间成立，而不是在所有元素之间都能进行比较；因此称为“部分有序”的“集合”。
Select Language