R := R ∪ {+∞,-∞}.