什麼叫良序

在一個集合上的線性序關係

良序是指在一個集合上的線性序關係，這種序關係滿足集合中的每個非空子集都有一個最小元素。

換句話說，良序是一種特殊的全序關係，它在數學中表現為一個集合上的線性排序，使得集合及其所有非空子集都有這種排序下的最小元素。具有這種性質的集合被稱為良序集。良序集的概念在數學和集合論中有廣泛的套用，特別是在證明理論和組合數學中。例如，良序定理（Well-ordering Theorem）聲稱所有集合都可以被良序排序，這是ZF公理集合論系統中選擇公理的一個等價形式。