Proved that

Originally Posted by soso123
Proved that
This is just a matter of applying definitions.

$\overrightarrow {AB} = \overline {AB} \cup \left\{ {X:A - B - X} \right\}$.

Now combine that with $\overrightarrow {BA}$ to get the set $\overleftrightarrow {AB}$.