하우스도르프 공간
One can also show that every regular Hausdorff space is Urysohn and every Tychonoff space (=completely regular Hausdorff space) is completely Hausdorff. In summary we have the following implications: