Let two distinct quotient points correspond to two equivalence classes. By hypothesis those classes lie in disjoint open saturated sets . Saturation gives , so the quotient definition makes open, and likewise .
Articles by others on the same topic
There are currently no matching articles.