column value
英文名稱 existential definable set
中文名稱 存在可定義集