全序关系、即在数学中，集合X上的全序、线性序、简单序，或（非严格）排序是在X上的反对称的、传递的和完全的任何二元关系。这意味着如果我们把这种关系指示为≤则下列陈述对于X中的所有a, b和c成立：配对了在其上相关的全序的集合叫做全序集合、线序集合、简单序集合或链。链还常用来描述某个偏序的全序子集，比如在佐恩引理中。关系的完全性性质可以如下这样描述：在集合中的任何一对元素在这个关系下都是相互可比较的。注意完全性条件蕴涵了自反性，就是说，a ≤ a。因此全序也是偏序，就是说，自反的、反对称的和传递的二元关系。全序也可以定义为“全部”的偏序，就是满足“完全性”条件的偏序。可作为选择的，可以定义全序集合为特殊种类的格，它有如下性质我们写a ≤ b当且仅当。可得出全序集合是分配格。全序集合形成了偏序集合的范畴的全子范畴，通过是关于这些次序的映射的态射，比如，映射f使得如果a ≤ b则f (a) ≤ f (b)。在两个全序集合间的关于两个次序的双射映射是在这个范畴内的同构。