In Topoplogy, a closed set is a set that is the complement of an Open set (vid)

finite unions of closed sets are closed

arbitrary intersections of closed sets are closed

Proved using De Morgan's laws

A closed set contains all of its Limit points