Metric space/Closed subset/Complement/Definition
< Metric space < Closed subset < Complement
Closed set in a metric space
Let be a metric space. A subset is called closed if the complement is open.