Kolmogorov quotient

Definition

The Kolmogorov quotient of a topological space is defined as its quotient by the equivalence relation of topological indistinguishability, equipped with the quotient topology. Equivalently, it is the image of the initial object with respect to quotient maps to Kolmogorov spaces (which are $T_{0}$ topological spaces).