9.6 偏序
参照关系的等价有当集合中的一个关系具有自反,反对称和传递时,就称为该关系为偏序。
所有集合S中该偏序中元素组成的集合叫做偏序集,记做(S,R)
。
在开始举具体的例子前,可以结合等价来理解,等价类的中的元素和集合中的其他所有元素,加上其自身与其自身的关系其实就是偏序。
比如在整数集合上,关系>=
就是偏序关系。所以我们可以表示为(S,>=)
。
像 上 面 这 种 关 系 能 举 的 例 子 很 多 , 所 以 我 们 统 一 使 用 ( S , ≼ ) 来 表 示 偏 序 。 ≼ 表 示 该 关 系 具 有 偏 序 的 性 质 。 像上面这种关系能举的例子很多,所以我们统一使用 (S,\preccurlyeq)来表示偏序。\\ \preccurlyeq 表示该关系具有偏序的性质。 像上面这种关系能举的例子很多,所以我们统一使用(S,≼)来表示偏序。≼表示该关系具有偏序的性质。
可比
这 个 很 容