全序关系即集合formula_1上的反对称的、传递的和完全的二元关系（一般称其为formula_2）。若formula_1满足全序关系，则下列陈述对于formula_1中的所有formula_5和formula_6成立：满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。链还常用来描述偏序集合的全序子集。全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。注意完全性条件蕴涵了自反性：formula_15，因此全序关系也是（满足“完全性”条件的）偏序关系。S