liáng xù jí · ㄌㄧㄤˊ ㄒㄩˋ ㄐㄧˊ · 更新 2026-06-30 15:10:30
设集合(S,≤)为一全序集，≤是其全序关系，若对任意的S的非空子集，在其序下都有最先元素，则称≤为良序关系，(S,≤)为良序集。