Proposition 4

Let A be a subset of $\overline{\mathbf{R}}$ and let $a \neq -\infty$ be a point in the closure of the intersection $A \cap [-\infty, a[$. If f is a monotonic real-valued function defined on A, then f has a limit $f(a-)$ on the left at a, relative to A.