funktionentheoretische Aussage, die wie folgt lautet:

Es sei G ⊂ ℂ einGebiet und \({\mathscr{F}}\)eine Familiemeromorpher Funktionen in G.

Es ist \({\mathscr{F}}\)einenormale Familie in G genau dann, wenn es zu jeder kompakten Menge K ⊂ G eine Konstante C = C(K) > 0 gibt mit f^#(z) ≤ Cfür alle z ∈ K und alle \(f\in {\mathscr{F}}\). Dabei bezeichnet f^#die sphärische Ableitung von f.