Tietze extension theorem (source code)

= Tietze extension theorem
{c}
{wiki}

Every continuous real-valued function on a closed subspace of a normal space extends continuously to the whole space. If its values lie in a closed interval, the extension can be kept in that interval.