noun Mathematics. a topological space in which each pair of points can be separated by two disjoint open sets containing the points.