For those who prefer Heidegger to Hausdorff: