Extremally Disconnected by Interior of Closed Sets

Theorem
Let $T = \left({X, \vartheta}\right)$ be a $T_2$ (Hausdorff) topological space.

Then $T$ is extremally disconnected iff the interior of every closed set of $T$ is closed.

Proof
Let $T = \left({X, \vartheta}\right)$ be a $T_2$ (Hausdorff) topological space such that the closure of every open set of $T$ is open.

Let $V \subseteq X$ be closed in $T$.

Then $T \setminus V$ is open by definition.

Then its closure $\left({T \setminus V}\right)^-$ is open by hypothesis.

By Complement of Interior equals Closure of Complement we have that:
 * $\left({T \setminus V}\right)^- = T \setminus V^\circ$

where $V^\circ$ is the interior of $V$.

As $T \setminus V^\circ$ is open in $T$, it follows that $V^-$ is closed.

So the interior of every closed set of $T$ is closed.

By a similar argument we see that if the interior of every closed set of $T$ is closed, then the closure of every open set of $T$ is open.

Hence the result.