Given any two distinct points x, y, there exist neighborhoods u and v of x and y, respectively, with u intersection v = ∅. It then follows that finite subsets are closed.

separation axioms | set closure | T_2-space