 T0 space

A topological space is $T_0$ when every pair of distinct points is distinguished by an open set containing exactly one of them.