Talk:A topological space is disconnected if and only if there exists a non-constant continuous function from the space to the discrete space on two elements