Equivalence of Definitions of Ultraconnected Space

$(1)$ iff $(2)$
Let $T = \struct {S, \tau}$ be ultraconnected by Definition 1:
 * no two non-empty closed sets of $T$ are disjoint.

Let $x, y \in S$.

By Topological Closure is Closed, both $\set x^-$ and $\set y^-$ are closed.

By hypothesis:
 * $\set x^- \cap \set y^- \ne \O$

That is, $T = \struct {S, \tau}$ is ultraconnected by Definition 2.

Let $T = \struct {S, \tau}$ be ultraconnected by Definition 2:
 * $\forall x, y \in S: \set x^- \cap \set y^- \ne \O$

Let $V_1, V_2$ be closed sets of $T$.

Let $x \in V_1, y \in V_2$.

Then:
 * $\set x^- \cap \set y^- \ne \O$

But then from Topological Closure of Subset is Subset of Topological Closure we have that:
 * $\set x^- \subseteq V_1^-$
 * $\set y^- \subseteq V_2^-$

But from Closed Set Equals its Closure $V_1^- = V_1, V_2^- = V_2$.

So from Intersection is Subset:
 * $\set x^- \cap \set y^- \subseteq V_1$
 * $\set x^- \cap \set y^- \subseteq V_2$

from which:
 * $V_1 \cap V_2 \ne \O$

As $V_1$ and $V_2$ are arbitrary, it follows that $T$ is ultraconnected by Definition 1.