Quotient Topology

- Mathematics & Logic -
Pure Mathematics Dictionary
The topology on a quotient set Y = X/∼ determined as the coarsest topology making the canonical projection q: X → Y continuous; a subset V ⊂ Y is declared open iff q^{-1}(V) is open in X.