For any two points x, y element X, there is an open set U such that x element U and y not element U or y element U and x not element U. A space fulfilling this axiom is called a T_0-space.

separation axioms | T_0-space