column value
英文名稱 greatest lower bound ; infimum ; inf
中文名稱 最大下界