Totally normal space


totally normal space is a normal space.