Given any two distinct points , there exist neighborhoods and of and , respectively, with . It then follows that finite Subsets are Closed.