`***` Xét tập hợp `P` với các đáp án:

`@ P subset P ->` Khẳng định `mathbb{A}` đúng

(Vì mỗi tập hợp đều là tập con của chính nó)

`@` $\varnothing \in P \rightarrow$ Khẳng định `mathbb{B}` sai

(Tập hợp rỗng cũng là một tập hợp nên rỗng là tập con của `P` chứ không thuộc `P`)

`@ P in {P} ->` Khẳng định `mathbb{C}` đúng

(Vì `{P}` là tập hợp có các phần tử của tập hợp `P` nên `P` thuộc `{P}`)

`@ P in P ->` Khẳng định `mathbb{D}` sai

(Tập hợp này chỉ có thể là con của tập hợp kia, không thể thuộc bất kỳ tập hợp nào khác)