Ta có các nhận xét sau:
- Tập rỗng là tập con của mọi tập hợp, do đó $\varnothing \subset D$ luôn đúng.
- Một tập hợp luôn là tập con của chính nó, do đó $D \subseteq D$ luôn đúng. Tuy nhiên, $D \subset D$ chỉ đúng khi $D$ là tập rỗng.
- $D \in D$ không phải lúc nào cũng đúng. Ví dụ, nếu $D = \{1, 2\}$, thì $D$ không phải là một phần tử của $D$.
Vậy, mệnh đề $D \subset D$ là sai, vì nó không đúng với mọi tập hợp $D$. Mệnh đề đúng phải là $D \subseteq D$.
