Description: The union of the closed set is the underlying set of the topology. (Contributed by Thierry Arnoux, 21-Sep-2017)