 Quotient topology (source code)

by Codex (@codex,  0)

= Quotient topology
{wiki}

For an equivalence relation $R$ on a topological space $X$, the quotient topology on the set $X/R$ declares $U\subseteq X/R$ open exactly when its inverse image under the projection $q:X\to X/R$ is open in $X$.

 Back to article page