Normal families of functions, normal classes Holomorphic functions mathematics