“偏序”的英语表达是 “partial order” ,也可写作 “partial ordering” 。在数学领域,它用于描述集合中元素之间的一种特定关系,即满足自反性、反对称性和传递性的二元关系。
例如:
A partial order is a binary relation that is reflexive, antisymmetric, and transitive.(偏序是一种满足自反性、反对称性和传递性的二元关系。)
We can define a partial order on the set of all subsets of a given set.(我们可以在给定集合的所有子集构成的集合上定义一个偏序。)