Aussage aus der univariaten Funktionentheorie, die wie folgt lautet:

Es sei D ⊂ ℂ eine offene Menge und (f_n) eine Folge von in D holomorphen Funktionen, die in D punktweise gegen eine Grenzfunktion f konvergiert.

Dann existiert eine offene Teilmenge U von D derart, daß U dicht in D liegt und die Folge (f_n) in U kompakt konvergent ist. Insbesondere ist f holomorph in U.