column value
英文名稱 well-ordering principle
中文名稱 良序原則