Definition:Separated by Closed Neighborhoods

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