良
序
liáng xù
基本释义
S的非空子集都有其序下最小元素
英文翻译
Well ordered