Totally disconnected implies T1

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., totally disconnected space) must also satisfy the second topological space property (i.e., T1 space)
View all topological space property implications | View all topological space property non-implications
Get more facts about totally disconnected space|Get more facts about T1 space

Statement

Any totally disconnected space is a T1 space.

Facts used

1. Closure of one-point subset implies irreducible
2. Irreducible implies connected

Proof

Given: A totally disconnected space $X$, a point $x\in X$.

To prove: ${\overline {\{x\}}}=\{x\}$.

Proof: We prove this by noting that the closure ${\overline {\{}}x\}$ is connected, on account of being an irreducible space. Thus, by the definition of totally disconnected, it must be a singleton subset.