Definition 7

  To simplify the notation, let

$$\begin{array} {r@{~}c@{~}l} F(x+0) - F (x (1+0)) & = & \disp... ...n\to 0 \\ \epsilon \gt 0 \end{Sb} F (x - \epsilon).\end{array}$$