T2-Separation Axiom

Given any two distinct points $x,y$, there exist neighborhoods $u$ and $v$ of $x$ and $y$, respectively, with $u\cap v=\emptyset$. It then follows that finite Subsets are Closed.

See also Closure