Equivalence of Definitions of Adherent Point

Theorem
Let $T = \left({X, \tau}\right)$ be a topological space.

Let $A \subseteq X$.

The following definitions of an adherent point of $A$ are equivalent:

Proof
Let $A^-$ denote the closure of $A$.

It is required to be shown that $x \in A^-$ iff, for every open neighborhood $U$ of $x$, the intersection $A \cap U$ is non-empty.

For a subset $S \subseteq X$, let $S^{\complement}$ denote the relative complement of $S$ in $X$.

The following equivalence holds:

The result follows from the Rule of Transposition.