column value
英文名稱 left invariant
中文名稱 左不變式;左不變[的]