良序

良序读音为 liáng xù。意思是：S的非空子集都有其序下最小元素。