Equivalence of Definitions of Boundary

Theorem
Let $T = \struct {S, \tau}$ be a topological space.

Let $H \subseteq S$.

Definition $1$ is equivalent to Definition $2$
Let $x \in S$.

By definition of set difference:
 * $x \in H^- \setminus H^\circ$ $x \in H^-$ and $x \notin H^\circ$

By definition of the closure:
 * $x \in H^-$ every neighborhood $N$ of $x$ satisfies $H \cap N \ne \O$

Lemma
So $x \in H^- \setminus H^\circ$ every neighborhood $N$ of $x$ satisfies:
 * $H \cap N \ne \O$

and
 * $\paren {S \setminus H} \cap N \ne \O$

Definition $1$ is equivalent to Definition $3$
This is demonstrated in Boundary is Intersection of Closure with Closure of Complement.