Konvergieren fn:K→Y bei n→∞ lokal gleichmäßig auf einem Kompaktum K⊂X gegen f:K→Y (hat also jedes x∈K eine Umgebung in K, auf der die Konvergenz gleichmäßig ist), so ist die Konvergenz schon gleichmäßig auf ganz K.
