n. (Topology) the theorem that a topological space is normal if and only if every continuous mapping from a closed subset of the space into the unit interval has a continuous extension with range in the unit interval. (Named after the Austrian topologist and analyst, Heinrich Franz Friedrich Tietze (1880 - 1964).)