Definition:Separated

Definition
Let $X$ be a topological space.

Let $A, B \subseteq X$ such that:
 * $A^- \cap B = A \cap B^- = \varnothing$

where $A^-$ denotes the closure of $A$ in $X$.

Then $A$ and $B$ are described as separated.