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

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