Misalkan \(X\) Hausdorff dan \((Y,d)\) ruang metrik. Untuk jaring \((f_\lambda)\) dalam \(C(X,Y)\text{,}\) buktikan bahwa kekonvergenan kompak-terbuka ke \(f\) ekuivalen dengan kekonvergenan seragam pada setiap subhimpunan kompak \(K\subseteq X\text{.}\)