レヴナー微分方程式
f と g を、単位円板 D, |z| < 1 の上の f(0) = 0 = g(0) である正則な単葉函数とする。
f が g に対し従属するとは、D 上の原点 0 を固定する単葉写像 φ {\displaystyle \varphi } が存在し、全ての |z| < 1 に対して
f ( z ) = g ( φ ( z ) ) {\displaystyle \displaystyle {f(z)=g(\varphi (z))}}
となることとする。
そのような写像 φ {\displaystyle \varphi } が存在するための必要十分条件は、
f ( D ) ⊆ g ( D ) {\displaystyle f(D)\subseteq g(D)}
である。必要性はすぐに出る。逆に φ {\displaystyle \varphi } を、
φ ( z ) = g − 1 ( f ( z ) ) {\displaystyle \displaystyle {\varphi (z)=g^{-1}(f(z))}}