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.
Stone-Čech compactification of the natural numbers Created 2026-09-24 Updated 2026-09-28
The Stone-Cech compactification can be identified with the space of ultrafilters on . Its basic clopen sets are .