levity normal space
volume is measure_of_space. normal_space is not regular_space. gaiety is levity. gaiety is not levity. normal_space is hausdorff_space. normal_space is not hausdorff_space. normal_space is regular_space.