\mathbb{\overline{R}}:=\mathbb{R}\cup \{-\infty, \infty\}