Talk:Hausdorff completion