column value
英文名稱 invariant definition
中文名稱 不變定義