A topological space is totally disconnected if all of its connected components are singletons; equivalently, the space has no nontrivial connected subsets containing more than one point.

Principle

The organizing idea is separation at arbitrarily small scales: distinct points cannot be joined by a nontrivial connected set, so connectedness collapses to singletons and the topology admits many clopen separations between points or small sets.

Demonstration

The classical Cantor set (with the subspace topology of the real line) is totally disconnected: it contains no interval and every connected subset is a single point, yet it is perfect and uncountable.

Misapplication

Treating any disconnected space as totally disconnected is incorrect: a space with exactly two connected components is disconnected but not totally disconnected unless every component is a singleton.

Consequence

When a space is totally disconnected, continuous images into nontrivial connected spaces are severely constrained (images of connected components are singletons); algebraic constructions (like profinite completions) and combinatorial decompositions often exploit abundant clopen sets.

Reversal

A connected space (for example a real interval) is the opposite: it has nontrivial connected subsets and cannot be partitioned into disjoint nonempty clopen sets.

Boundary

Total disconnectedness is a purely topological property defined relative to the given topology; it does not imply zero-dimensionality (existence of a basis of clopen sets) nor does it rule out perfect or uncountable examples.

Semantic Tension

Contrast with zero-dimensionality (which demands a basis of clopen sets) and with totally separated (stronger: any two points can be separated by clopen sets); these nearby notions are often conflated but differ in strength.

Synthesis

Total disconnectedness captures the idea that connectedness degenerates to points: the space admits many separations so that connected components contain no internal structure beyond singletons, while still permitting complex global behaviour (e.g., perfect uncountable sets).