Preregular space

Definition
A topological space is termed preregular if it satisfies the following equivalent conditions:


 * 1) Any two topologically distinguishable points can be separated by pairwise disjoint open subsets.
 * 2) Its defining ingredient::Kolmogorov quotient is a defining ingredient::Hausdorff space.