Усло́вие Ку́ранта – Фри́дрихса – Леви́, необходимое условие устойчивости разностных схем в классе бесконечно дифференцируемых коэффициентов. Пусть $\Omega(P)$ – область зависимости значения решения по какому-либо из коэффициентов (в частности, им может быть начальное условие), $\Omega_h(P)$ – область зависимости значения $u_h(P)$ решения соответствующего разностного уравнения. Для сходимости $u_h(P) \rightarrow u(P)$ необходимо, чтобы при мельчении шага $h$ область зависимости разностного уравнения покрывала область зависимости дифференциального уравнения

$$\Omega(P) \subset \varlimsup_{h \rightarrow 0} \Omega_h(P).$$