Proof P2066
on R2747: Finite sets are closed in Hausdorff space

P2066

The second claim follows from the first one by definition. The first claim is a corollary to the results

$\square$

(i) | R517: Singletons are closed in Hausdorff space |

(i) | R74: Finite union of closed sets is closed |

$\square$