non-Hausdoff topology