Category:Totally Separated Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Totally Separated Spaces.
Definitions specific to this category can be found in Definitions/Totally Separated Spaces.


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$.