A D11: Set $X$ is a transitive set if and only if $$\begin{equation} \forall \, x \in X : x \subseteq X \end{equation}$$