Definition, synonyms and related words
Such that any two distinct points are topologically distinguishable, i.e., there is an open set containing one of the points which does not contain the other point.