Definition, synonyms and related words
A topological space in which for any two distinct points x and y, there is a pair of disjoint open sets U and V such that x∈U and y∈V.