A topological space is discrete iff every point is its own connected component
A topological space
Proof
is discrete iff the following function is continuous for all π π₯ 0 β π π : π β { 0 , 1 } π₯ β¦ { 0 π₯ = π₯ 0 1 π₯ β π₯ 0 which holds iff every
is disconnected from all other points. π₯ 0 β π