For any two points x, y element X there exists two open sets U and V such that x element U and y not element U, and y element V and x not element V. A space satisfying this axiom is known as a T_1-space.

Hausdorff axioms | separation axioms | T_1-space