Arzela-Ascoli Theorem

A characterization of relatively compact subsets of C(K) (continuous real- or complex-valued functions on a compact domain K) under the uniform topology: a family is relatively compact if and only if it is equicontinuous and pointwise relatively compact (often stated as equicontinuous and pointwise bounded).