区域D上的代数体函数族W={Wa(z):φ(z,wa)=Ak,a(z)wak+A0,a(z)=0,α∈Λ}(Λ为一指标集).若W中每个代数体函数都不取a1,a2,a3三个互异的复数(其中aik≠ajk,i≠j,i,j=1,2,3.)或不取2k+1个互异的复数,则W在D内正规.