Normal family (source code)

= Normal family
{wiki}

A family of holomorphic or meromorphic maps is normal when every sequence has a subsequence converging locally uniformly in the spherical metric, possibly to infinity.