A topological space is connected if it is not the union of two disjoint nonempty open sets, or equivalently has no nontrivial subset that is both an open set and a closed set.
Let be the union of all connected subspaces containing . A union of connected subsets with a common point is connected: if a separation of a topological space existed, every member containing would lie wholly in the same side. Hence is connected and contains every connected subspace through , so it is the connected component of .
If , their union is connected and maximality gives . Otherwise they are disjoint. Since every belongs to , the connected components partition .