定义 左连续

自然语言

对函数 $f : \mathbb{R} \to \mathbb{R}$
若 $\forall x_0 \in \mathbb{R}$ 成立

$$ \bbox[5pt]{ \lim_{x \to x_0^-}{f(x)} = f(x_0) } $$

则称函数 $f : \mathbb{R} \to \mathbb{R}$ 为左连续函数