>>849
(引用開始)
>>845
> 1)二つの集合A,Bで、A ∈ B → A ⊂ B
> ∵ 集合Aの全ての元aは、集合Bの元だから
反例:A={0},B={{0}}
A∈B だが、A⊂B ではない
∵集合Aの元0は、集合Bの元ではない。
(引用終り)

これ、ピエロちゃんかな?(^^
それ、なんか、勘違いしていますよ(^^;
下記の定義を再確認してください

https://ja.wikipedia.org/wiki/%E9%83%A8%E5%88%86%E9%9B%86%E5%90%88
部分集合
(抜粋)
定義
集合 A の要素はすべて集合 B の要素でもあるとき、
A は B の部分集合であるといい、
A ⊂= B (A ⊆ B )
で表す。
A が B の部分集合であることを、「A は B に(部分集合として)含まれる(contained; 包含される)」、「A は B に包まれる(included; 包摂あるいは内包される)」などということもある。