Equivalence of Definitions of Limit Point

Theorem
The definitions of a limit point are equivalent.

That is, let $T = \left({S, \tau}\right)$ be a topological space.

Let $H \subseteq S$.

Let $H^{\complement}$ denote the relative complement of $H$ in $S$.

Then the following conditions are equivalent for any point $x \in S$:


 * $(1): \quad$ Every open neighborhood $U$ of $x$ satisfies $H \cap \left({U \setminus \left\{{x}\right\}}\right) \ne \varnothing$.


 * $(2): \quad x$ belongs to the closure of $H$ but is not an isolated point of $H$.


 * $(3): \quad x$ is an adherent point of $H$ but is not an isolated point of $H$.


 * $(4): \quad H^{\complement} \cup \left\{{x}\right\}$ is not a neighborhood of $x$.

$({1}) \iff ({2})$
The closure of $H$ is defined as the union of the set of all isolated points of $H$ and the set of all limit points of $H$.

The rest then follows directly from Equivalence of Definitions of Isolated Point.

$({2}) \iff ({3})$
Follows directly from Equivalence of Definitions of Adherent Point.

$({1}) \iff ({4})$
The following equivalence holds:

The result follows from the Rule of Transposition.

Also see

 * Definition:Limit Point of Set