Set of Condensation Points of Countable Set is Empty

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

Let $A$ be a subset of $S$.

Then:
 * if $A$ is countable,
 * then $A^0 = \O$.

Proof
Assume
 * $A$ is countable.


 * $A^0 \ne \O$

By definition of empty set:
 * $\exists x: x \in A^0$

Then by definition of set of condensation points:
 * $x$ is a condensation point of $A$.

This contradicts Lemma.

Thus the result follows by Proof by Contradiction.