column value
英文名稱 inductive ordered set
中文名稱 歸納序集