misc
Hausdorff-Topology