is called the jump set of \(u\) . By the Lebesgue differentiation theorem, \(\left|S_u\right|=0\) . Using the lower and upper approximate limits, we define the precise representative \(\tilde{u}:=(u^\star +u_\star )/2\) . The following lemma was proved in [1]}.
