Let $E$ be a D11: Set.
A D11: Set $X$ is a superset of $E$ if and only if \begin{equation} \forall \, x \in E : x \in X \end{equation}