的所有formula_5和formula_6成立：满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。链还常用来描述偏序集合的全序子集。全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。注意完全性条件蕴涵了自反性：formula_15，因此全序关系也是（满足“完全性”条件的）偏序关系。
严格全序.对于每一（非严格）全序关系≤都有一关联的非对称的严格全序关系<，它可以用以下两种等价的方式定义：性质：我们可以通过指定formula_