数学では拡張実数直線 [-∞, +∞] というものを考える場合がある、というかよくある。
この場合、任意の有限実数 a に対して -∞ < a < +∞ と定義する。
つまり、無限大+∞は任意の有限実数より大きいと「定義」する。