理解全序关系

在数学中，集合  X 上的全序、线性序、简单序，或(非严格)排序是在 X 上的反对称的、传递的和完全的任何二元关系。这意味着如果我们把这种关系指示为 ≤ 则下列陈述对于 X 中的所有 a, b 和 c 成立:

    如果 a ≤ b 且 b ≤ a 则 a = b (反对称性)
    如果 a ≤ b 且 b ≤ c 则 a ≤ c (传递性)
    a ≤ b 或 b ≤ a (完全性)

配对了在其上相关的全序的集合叫做全序集合、线序集合、简单序集合或链。链还常用来描述某个偏序的全序子集，比如在佐恩引理中。

关系的完全性性质可以如下这样描述: 在集合中的任何一对元素在这个关系下都是相互可比较的。

注意完全性条件蕴涵了自反性，就是说，a ≤ a。因此全序也是偏序，就是说，自反的、反对称的和传递的二元关系。全序也可以定义为“全部”的偏序，就是满足“完全性”条件的偏序。

例子

    * 字母表的字母按标准字典次序排序，比如 A < B < C 等等。

    * 全序集合的任何子集，带有在整个集合上次序的限制。

    * 所有的两个元素都是可比较的任何偏序集合 X (就是说，如果 a,b 是 X 的成员，则 a≤b 或 b≤a 中的一个为真或二者都是真)。

    * 基数或序数(更强的说良序)的任何集合。

    * 如果 X 是任何集合而 f 是从 X 到一个全序集合的单射函数，则 f 引发 X 上的全序，通过设立 x1 < x2 当且仅当 f(x1) < f(x2)。

    * 在用一个序数索引的那些全序集合的笛卡尔积的一个集合上的词典序自身是全序。例如，按字母表排序的字的任何集合是全序的，可看做通过向字母表增加空格符号(并定义空格小于任何字母)形成的集合的可数个复件的笛卡尔积的子集。

    * 自然数集、整数集、有理数集和实数集用平常的小于(<)或大于(>)关系排序都是全序的。它们都可以被证实是带有特定性质的全序集合的唯一的(在同构内)最小实例(全序 A 是带有特定性质的最小的，如果只要 B 有这个性质，就有从 A 到 B 的子集的一个序同构):
          o 自然数集是最小的没有上界的全序集合。
          o 整数集是最小的没有上界也没有下界的全序集合。
          o 有理数集是最小的没有上界或没有下界的全序集合，它在 (a, b) 对于所有 a < b 是非空的意义上是密集的。
          o 实数集是最小的无界连通的全序集合。

http://zh.wikipedia.org/zh-cn/%E5%85%A8%E5%BA%8F%E5%85%B3%E7%B3%BB#.E4.BE.8B.E5.AD.90