Singleton Point is Isolated

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

Let $x \in S$.

Then $x$ is an isolated point of the singleton set $\set x$, but not necessarily an isolated point of $T$.

Proof
Let $U \in \tau$ be an open set of $T$ such that $x \in T$.

The fact that such a $U$ exists follows from the fact that $S$ is open in $T$ and $x \in S$.

Then as $\set x \subseteq S$ it follows that $\set x \cap U = \set x$ from Intersection with Subset is Subset‎.

So by definition, $x$ is an isolated point of $\set x$.

From Topological Space is Discrete iff All Points are Isolated, unless $T$ is the discrete space on $S$, not all elements of $T$ are isolated points of $T$.