Equivalence of Definitions of Limit Point/Definition (1) iff Definition (4)/Proof 1

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

Let $A \subseteq S$.

Proof
The following equivalence holds:

The result follows from the Rule of Transposition.