Topic summary
Topologically distinguishable
Extracted from the Wikipedia article Topological indistinguishability.
Two points of X are topologically distinguishable if they are not topologically indistinguishable. This means there is an open set containing precisely one of the two points (equivalently, there is a closed set containing precisely one of the two points). This open set can then be used to distinguish between the two points. A T0 space is a topological space in which every pair of distinct points is topologically distinguishable. This is the weakest of the separation axioms.