0852現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/09/08(日) 11:11:38.34ID:KY2miv9A(引用開始)
>>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; 包摂あるいは内包される)」などということもある。