Equivalence of Definitions of Connected Topological Space/No Surjection to Discrete Two-Point Space implies No Separation