Definition
If there are two points and in a topological space that can be separated by neighbourhoods if there exists a neighbourhood of and a neighbourhood of , such that and are disjoint .
is a Hausdorff space if any two distinct points in are separated by neighbourhoods.