A result that allows continuous functions defined on a closed subset of a normal space to be extended to the entire space.