Normal space

Please see Convention:Hausdorffness assumption