Ungleichung, in der eine zu bestimmende Funktion und ihre Ableitungen auftreten. Zum Anfangswertproblem erster Ordnung \begin{eqnarray}{y}^{^{\prime} }=f(x,y), & y({x}_{0})={y}_{0}\end{eqnarray} mit stetigem f : G → ℝ, G ⊂ ℝ² Gebiet und (x₀, y₀) ∈ G, betrachtet man die Differentialungleichung \begin{eqnarray}{u}^{^{\prime} }\lt f(x,u)\text{}\, \text{}\ u({x}_{0})\lt {y}_{0}.\end{eqnarray}

Ist y : I → ℝ mit I := [x₀, x₀ + a) Lösung von (1) und u : I → ℝ eine Lösung von (2), dann gilt \begin{eqnarray}u(x)\lt y(x)\end{eqnarray}

für x ∈ I. Lösungen von (2) heißen Unterfunktionen. Damit ist also eine Abschätzung nach unten für Lösungen von (1) gegeben. Eine analoge Aussage gilt für Abschätzungen nach oben, wobei die Lösungen von (2) dann Oberfunktionen heißen.