Quotient topology
For a surjection q:X→Y, the quotient topology declares U open exactly when its full preimage under q is open.
atlas-quotient-topology · canonical_mko
Quotient topology
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data