Equivalence of Definitions of Adherent Point

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

Let $H \subseteq S$.

Definition from Open Neighborhood is equivalent to Definition from Closure
This is shown in Condition for Point being in Closure.