Let \(X\) and \(Y\) be topological spaces. A map \(q\colon X\to Y\) is a quotient map if
\(q\) is surjective, and
for every \(U\subseteq Y\), \(U\) is open in \(Y\) if and only if \(\inverseof{q}(U)\) is open in \(X\)
[@Mun00].
Quotient map
D-TNBFZ
D-TNBFZ
Let \(X\) and \(Y\) be topological spaces. A map \(q\colon X\to Y\) is a quotient map if
\(q\) is surjective, and
for every \(U\subseteq Y\), \(U\) is open in \(Y\) if and only if \(\inverseof{q}(U)\) is open in \(X\)
[@Mun00].