In the Stone-Čech compactification of a discrete space, the closure of each subset of is clopen, because its indicator extends to a continuous zero-one-valued function. For disjoint closed sets , choose on and on by Urysohn's lemma. Then and are disjoint clopen sets containing and , respectively. Density proves these containments.
Past exam of the mathematics course of the University of Cambridge 2011 ii Paper 4 22G Solution Created 2026-09-24 Updated 2026-09-24