Point is Isolated iff not Accumulation Point

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

Let $H \subseteq S$.

Let $x \in H$.

Then:
 * $x$ is an isolated point in $H$


 * $x$ is not an accumulation point of $H$
 * $x$ is not an accumulation point of $H$

Sufficient Condition
Let $x \in H$ be an isolated point in $H$.

Then by definition of isolated point:
 * $\exists U \in \tau: H \cap U = \left\{ {x}\right\}$

That is, by definition of Definition of uniqueness:
 * $\lnot \forall U \in \tau: \left({x \in U \implies \exists y \in S: \left({y \in H \cap U \land x \ne y}\right)}\right)$

Hence by Characterization of Derivative by Open Sets:
 * $x \notin A'$

where $A'$ denotes the derivative of $A$.

Thus by definition of derivative:
 * $x$ is not an accumulation point of $H$.

Necessary condition
Let $x \in H$ not be an accumulation point of $H$.

Thus by definition of derivative:
 * $x \notin A'$

Hence:

Thus by definition of isolated point:
 * $x$ is an isolated point in $H$.