Quotientenabbildung

Eine surjektive stetige Abbildung q : X -> Y, die Y mit der Quotiententopologie versieht: Eine Teilmenge U von Y ist genau dann offen, wenn q^{-1}(U) in X offen ist. Äquivalent ist q final für stetige Abbildungen von X, identifiziert Punkte gemäß einer Äquivalenzrelation und macht Y zum gröbsten Raum, in dem q stetig ist.