In topology, the Tietze extension theorem states that any real-valued, continuous function on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary. Wikipedia