Let $E, F \subseteq \mathbb{R}^N$ each be a D5612: Euclidean real set such that

(i)	\begin{equation} E \subseteq F \end{equation}

Then \begin{equation} - E \subseteq - F \end{equation}