0x67a4b7e5

Let \(q\colon X\to Y\) be a quotient map and \(U\subseteq X\) a saturated open or closed subset. Then \(q\colon U\to q(U)\) is a quotient map.