Let $A$ and $B$ each be a D11: Set.

Then \begin{equation} A \subseteq B \quad \iff \quad A \cup B = B \end{equation}