column value
英文名稱 Dedekind cut
中文名稱 Dedekind剖割