Description: A subspace of a completely normal space is normal. (Contributed by Mario Carneiro, 26-Aug-2015)