ThmDex – An index of mathematical definitions, results, and conjectures.
P2066
The second claim follows from the first one by definition. The first claim is a corollary to the results
(i) R517: Singletons are closed in Hausdorff space
(i) R74: Finite union of closed sets is closed

$\square$