ψ1⁡(x,y)≤z≤ψ2⁡(x,y).