column value
英文名稱 basic invariant
中文名稱 基本不變式:基本不變式量