column value
英文名稱 universal quantification
中文名稱 通用量化