Sürekliliğin şu tanımını kullanalım:
f, x∈X noktasında sürekliyse bir açık V⊂Y, f(x)∈V için bir U⊂X vardır öyle ki x∈U ve f(U)⊂V.
Şimdi x∈ˉA⊂X için rastgele bir V⊂Y alalım öyle ki V, Yde açık olsun. O zaman biliyorum ki açık bir x∈U⊂X vardır öyle ki f(U)⊂V. U açık bir küme ve x'i içeriyor aynı zamanda x∈ˉA ise U∩A≠∅ .(Kümenin kapanışı tanımından).
O zaman ∅≠f(U)∩f(A)⊂V∩f(A). En başta V'yi rastgele bir açık küme olarak almıştık, elimizde f(x)∈V ve V∩f(A)≠∅ var o zaman diyebiliriz ki f(x)∈ ¯f(A).