Since misses , the open set contains the whole collapsed equivalence class . Every other equivalence class is a singleton, so is saturated under the saturation of a subset operation:Its preimage is open, so the quotient topology givesThe hypothesis is exactly what prevents the saturation of a subset from adding missing points of the collapsed class.
Articles by others on the same topic
There are currently no matching articles.