什么是全序

设<math>(A, \leq)</math>是一个偏序关系，若对于任意的元素<math>x, y \in A</math>，都有<math>x \leq y</math>或<math>y \leq x</math>，即<math>x</math>和<math>y</math>是可比的，则称<math>(A, \leq)</math>为一个全序关系，或线序关系。

一个集合配上关联的全序关系被称为全序集合、线序集合或链。

全序集合还可以定义为一个特定种类的格，在其中有

对于所有 a, b 有 <math>\{a\vee b, a\wedge b\} = \{a, b\}</math>。
我们写 a ≤ b 当且仅当 <math>a = a\wedge b</math>。可得出全序集合是分配格。