Quotient Map

A surjective continuous map q : X -> Y that endows Y with the quotient topology: a subset U of Y is open iff q^{-1}(U) is open in X. Equivalently, q is final for continuous maps from X, identifying points according to an equivalence relation and making Y the coarsest space for which q is continuous.