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