Definition:Totally Separated Space/Definition 1

From ProofWiki
Jump to navigation Jump to search


A topological space $T = \struct {S, \tau}$ 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$.

Also see

  • Results about totally separated spaces can be found here.