A subset C of a topological space (X, τ) whose complement X \ C is an open set; equivalently, a set that contains all its limit points or that equals its closure.

Principle

Closed sets are closed under arbitrary intersections and finite unions; the empty set and the whole space are closed. Closure, limits, and adherence are naturally expressed via closed sets.

Demonstration

In the real line, a closed interval [0,1] is closed because its complement is the union of two open rays; every convergent sequence in [0,1] has its limit in [0,1].

Misapplication

Assuming a set is closed because it is bounded (confusing topological closure with metric boundedness) or claiming complements are open without checking the topology; such errors mischaracterize convergence and compactness arguments.

Consequence

Closedness is the natural context for convergence, compactness, and continuity from the codomain viewpoint (continuous maps pull closed sets back to closed sets under many common definitions), and it structures completion and closure operations.

Reversal

The dual viewpoint is openness; working only with opens instead of closed shifts emphasis to neighborhoods and interiors rather than limits and adherence.

Boundary

A set's closedness depends on the topology chosen; closed sets need not be complements of any algebraic or measure-theoretic property. Closedness does not imply compactness or finiteness unless further hypotheses hold.

Semantic Tension

Tension exists between closedness and openness (sets may be both or neither) and between closure-based descriptions and interior-based descriptions; closed sets also compete conceptually with measurable or dense sets in analytic contexts.

Synthesis

A closed set is a topology-complement of an open, equivalently a set equal to its closure that captures limit behavior and provides the natural language for convergence, compactness, and adherence in topology.