Es sei ( M , d ) {\displaystyle {}(M,d)} ein metrischer Raum und T ⊆ M {\displaystyle {}T\subseteq M} eine Teilmenge. Es sei
eine stetige Abbildung in einen weiteren metrischen Raum L {\displaystyle {}L} und sei a ∈ M {\displaystyle {}a\in M} , a ∉ T {\displaystyle {}a\notin T} , ein Punkt, der ein Berührpunkt von T {\displaystyle {}T} sei. Zeige, dass der Grenzwert
genau dann existiert, wenn f {\displaystyle {}f} eine stetige Fortsetzung
besitzt.