If ''A'' is a closed subspace in a normal ''X'' and ''f : A → [p, q]'' is a [[continuous function]], then there exists a continuous function ''F : X → [p, q]'' such that ''F|<sub>A</sub> = f''.
+
If ''A'' is a closed subspace in a [[normal space]] ''X'' and ''f : A → [p, q]'' is a [[continuous function]], then there exists a continuous function ''F : X → [p, q]'' such that ''F|<sub>A</sub> = f''.