Particular Point Space is Non-Meager

Theorem
Let $T = \left({S, \vartheta_p}\right)$ be a particular point space.

Then $T$ is of the second category.

Proof
Suppose $T$ were first category.

Then it would be the union of a countable set of subsets which are nowhere dense in $T$.

Let $H \subseteq S$.

From Closure of Open Set of Particular Point Space, the closure of $H$ is $S$.

From the definition of interior, the interior of $S$ is $S$.

So the interior of the closure of $H$ is not null.

So $T$ can not be the union of a countable set of subsets which are nowhere dense in $T$.

Hence $T$ is not first category and so by definition must be of the second category.