Topologiassa Tietzen jatkolauseen mukaan jos X on normaali topologinen avaruus ja f : A → R jatkuva kuvaus X:n suljetulta osajoukolta A reaaliluvuille varustettuna perinteisellä topologialla, on olemassa jatkuva kuvaus
F : X → R siten, että F(a) = f(a) kaikilla A:n alkioilla a. Tällöin F:ää sanotaan f:n jatkuvaksi jatkeeksi.
Lause yleistää Urysonin lemmaa, ja sitä voidaan käyttää moniin tarkoituksiin, sillä kaikki metriset avaruudet ja kaikki kompaktit Hausdorffin avaruudet ovat normaaleja.Jussila, s. 46, 65
Lähteet
Luokka:Topologia Luokka:Matemaattiset teoreemat