INF
(正の)無限大 (infinity, ∞) 。IEEE 754での非有限値の1つ。
下限 (infimum, inf)。詳細は「順序集合」を参照