A space is connected if it is not a disjoint union of two nonempty open sets. Intermediate-value theorem is the prototype.