Set is Clopen iff Boundary is Empty
Let $T$ be a topological space, and let $H \subseteq T$.
- $\partial H = \varnothing$
where $\partial H$ is the boundary of $H$.
From Set is Open iff Disjoint from Boundary we have that:
From Set is Closed iff it Contains its Boundary we have that: