normal space hausdorff space connected space factor space antispace h-space sober space open set discrete set compact space