Definition, synonyms and related words
A topological space for which any pair of distinct points are also topologically distinct, i.e., there is an open set which contains one of the points but not the other one.