column value
英文名稱 recursively enumerable set
中文名稱 遞迴可數集