# Category:Definitions/Totally Separated Spaces

A topological space $T = \left({S, \tau}\right)$ is totally separated if and only if:
For every $x, y \in S: x \ne y$ there exists a separation $U \mid V$ of $T$ such that $x \in U, y \in V$.