Definition:Normal Family

Definition
Let $X = \left({M_1, d_1}\right)$ and $Y = \left({M_2, d_2}\right)$ be complete metric spaces.

Let $\mathcal F = \left \langle{f_i}\right \rangle_{i \mathop \in I}$ be a family of continuous mappings $f_i: X \to Y$.

Then $\mathcal F$ is a normal family :
 * every sequence of mappings in $\mathcal F$ contains a subsequence which converges uniformly on compact subsets of $X$ to a continuous function $f: X \to Y$.