hausdorff
