Equivalence of Definitions of Separated Sets/Definition 1 implies Definition 2

Theorem
Let $T = \struct{S, \tau}$ be a topological space. Let $A, B \subseteq S$ satisfy:
 * $A^- \cap B = A \cap B^- = \empty$

where $A^-$ denotes the closure of $A$ in $T$, and $\empty$ denotes the empty set.

Then there exist $U,V \in \tau$ with:
 * $A \subset U$ and $U \cap B = \empty$
 * $B \subset V$ and $V \cap A = \empty$

Proof
From Topological Closure is Closed, $B^-$ is closed in $T$.

By the definition of a closed set, the relative complement of $B^-$ is open in $T$.

Let $U = S \setminus B^-$ be the relative complement of $B^-$ in $S$.

Hence $U$ is open in $T$.

From Empty Intersection iff Subset of Relative Complement, $A \subseteq S \setminus B^- = U$

From Relative Complement of Relative Complement, $S \setminus U = B^-$.

By the definition of the closure of a subset, $B \subseteq B^- = S \setminus U$.

From Empty Intersection iff Subset of Relative Complement, $U \cap B = \empty$.

Similarly, let $V = S \setminus A^-$ then $V \in \tau$ with:
 * $B \subset V$ and $V \cap A = \empty$