Explain why a set A is closed if and only if A equals its own closure, using the definition of closure as the smallest closed set containing A.
Think about your answer, then reveal below.
Model answer: By definition, Ā is the smallest closed set containing A, so A ⊆ Ā always. If A is closed, then A itself is a closed set containing A, and since Ā is the smallest such set, Ā ⊆ A. Combined with A ⊆ Ā, we get Ā = A. Conversely, if Ā = A, then A equals the closed set Ā, so A is closed. The equivalence follows directly from the minimality in the definition of closure.
The argument is a clean minimality argument: closure is defined as the smallest closed superset, so any closed superset of A is at least as large as Ā. If A is itself closed, it is the smallest closed set containing A, so it must equal Ā. The converse is immediate because Ā is always closed. This characterization is foundational — it makes 'closed set' and 'equals its own closure' synonymous, which is constantly used in continuity proofs.