Theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary
twierdzenie o ciągłych funkcjach rzeczywistych (pl)
theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary (en)