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