Category:Separations

This category contains results about separations in the context of topology.
Definitions specific to this category can be found in Definitions/Separations.

Let $T = \struct {S, \tau}$ be a topological space.

Let $A$ and $B$ be open sets of $T$.

$A$ and $B$ form a separation of $T$ if and only if:

$(1): \quad A$ and $B$ are non-empty

$(2): \quad A \cup B = S$

$(3): \quad A \cap B = \O$