Boundary of Subset of Discrete Space is Null

Theorem
Let $S$ be a set.

Let $\tau$ be the discrete topology on $S$.

Let $A \subseteq S$.

Then:
 * $\partial A = \varnothing$

where:
 * $\partial A$ is the boundary of $A$.

Proof
Let $T = \left({S, \tau}\right)$ be the discrete space on $S$.

Then by definition $\tau = \mathcal P \left({S}\right)$, that is, is the power set of $S$.

Let $A \subseteq S$.

Then from Set in Discrete Topology is Clopen it follows that $A$ is both open and closed in $T$.

The result follows from Set Clopen iff Boundary is Empty.