Solution (source code)

= Solution
{c}

The <closed sets> contain the empty set and the whole space, are closed under arbitrary intersections, and are closed under finite unions. These conditions are equivalent, by complements, to the open-set axioms of a <topology>.