that contains where observe that is open in For every let which is an open in set since is finite. Moreover, the construction of and implies that We now essentially repeat the argument to drop the dependence on Let be a finite subset such that contains and set It then follows by the above reasoning that and and are open, which completes the proof. See also References (See Chapter 8, Lemma 8.9) Topology Lemmas Articles containing proofs