良序

定義

設集合 (S ,≤) 為一全序集，≤是其偏序關係。對任意 的S 的非空子集都有在其序下有最小元素，則稱≤為良序關係，(S ,≤) 為良序集。