e/Normal family

Information
has gloss	eng: In mathematics, with special application to complex analysis, a normal family is a pre-compact family of continuous functions. Informally, this means that the functions in the family are not exceedingly numerous or widely spread out; rather, they stick together in a relatively "compact" manner. It is of general interest to understand compact sets in function spaces, since these are usually truly infinite-dimensional in nature.
lexicalization	eng: normal family
instance of	c/Continuous mappings

Meaning
French
has gloss	fra: En mathématiques, une famille normale est une famille de fonctions holomorphes (analytiques complexes) dans un domaine D ouvert telle que de toute suite de termes de la famille on peut extraire une sous-suite uniformément convergente sur les ensembles compacts de D.
lexicalization	fra: Famille Normale
Chinese
has gloss	zho: 在数学中，特别是应用于复分析，一个正规族（）是连续函数的一个预紧族。非正式地讲，这意味着这一族中的函数不能扩展得太广；它们以一种相对“紧致”地方式集中在一起。理解函数空间中的紧子集是有广泛意义的，因为它们通常自然是无穷维的。
lexicalization	zho: 正规族