Particular Point Space is Non-Meager

Theorem
Let $T = \struct {S, \tau_p}$ be a particular point space.

Then $T$ is non-meager.