全序集是一種特殊的偏序集，其定義如下：
如果一個集合 \( A \) 上的關係 \( ≤ \) 滿足條件：對於任意兩個元素 \( a \) 和 \( b \) 屬於 \( A \)，如果 \( a \leq b \) 或者 \( b \leq a \) 至少有一個成立，那麼這個關係 \( ≤ \) 被稱為序關係，集合 \( A \) 被稱為在這個關係下的全序集，也被稱為有序集。
全序集的哈斯圖是一條直線段。
任一偏序集，如果其中存在最小元，則稱為良序集。每一個良序集一定是全序集。
自然數集、有理數集、實數集在通常的大小序下是全序的。有限長度的序列按字典序也是全序的。
任何良序集是全序的。
如果一個集合 \( B \) 上的次序關係 \( 3 \) 滿足條件：對於集合 \( B \) 中所有的元素 \( a \) 和 \( b \)，如果 \( a 3 b \) 或者 \( b 3 a \) 至少有一個成立，那麼這個關係 \( 3 \) 被稱為全序關係，集合 \( B \) 被稱為全序集合。