Tietze extension theorem
theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary
theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary