Basta notar que $]-\infty, 0[$ e $[0, +\infty[$ são abertos disjuntos de $\mathbb{R}_{S}$ tais que $\mathbb{R}_{S} = ]-\infty, 0[ \cup [0, +\infty[$.