In a XX, a subset FXF\subseteq X is if and only if its complement XFX\setminus F is .

Consequently:

  • arbitrary intersections of closed sets are closed, and
  • finite unions of closed sets are closed.

This duality between open and closed sets is a basic tool in topology and analysis, especially for , , and compactness arguments.