tags:theorem |topology |set Closure of a Set is Closed Context Statements Theorem (@Eck23, Theorem 1.5). Let (X,τ) be a metric space, and S⊆X. The closure of S is closed.