ararima mucanira ngezi wa ngenzi the rocks slope abruptly into the water on all sides adding the hausdorff condition can make several properties become equivalent for a manifold