Definition:Separated by Neighborhoods

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.