Boundary is Intersection of Closure with Closure of Complement

Theorem
Let $T$ be a topological space.

Let $X \subseteq T$.

Let $\partial X$ denote the boundary of $X$, defined as:
 * $\partial X = X^- \setminus X^\circ$

Let $\overline X = T \setminus X$ denote the complement of $X$ in $T$.

Let $X^-$ denote the closure of $X$.

Then:
 * $\partial X = X^- \cap \paren {\overline X}^-$