*Definition [#p1ee5721]
-Two points of X are topologically distinguishable if they are not [[topologically indistinguishable]].