ThmDex – An index of mathematical definitions, results, and conjectures.
P2067
Since we can partition a finite set into a finite union of singletons, this claim turns out to be a consequence of the results
(i) R102: Singletons are closed in a metric space
(i) R74: Finite union of closed sets is closed

$\square$