\overline{R} = R \cup \{-\infty,~\infty\}