在集合 A 中，存在偏序关系 R，如果对于任意 a∈A, b∈A, 有 aRb 或 bRa，即 A 中的每对元素都满足关系 R，则集合 A 上的偏序 R 是全序的或线性次序的。

全序的集合叫做全序集合、线序集合、简单序集合或链.

在著名的 Zorn 引理中，会提到这个概念。