Excluded Point Space is Sequentially Compact

Theorem
Let $T = \left({S, \tau_{\bar p}}\right)$ be an excluded point space.

Then $T$ is a sequentially compact space.

Proof

 * Excluded Point Space is Compact
 * Excluded Point Space is First-Countable


 * First-Countable Space: Sequential Compactness Equivalent to Countable Compactness