Equivalence of Definitions of Connected Topological Space

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space.

Then the following definitions of connectedness are equivalent:

$(4) \implies (5)$: No Clopen Sets implies No Union of Separated Sets
=== $(5) \implies (6)$: No Union of Separated Sets implies No Surjection to Discrete Two-Point Space ===

Also see

 * Condition on Connectedness by Clopen Sets for a separate proof that $(1)$ and $(4)$ are equivalent.