>>141
>・「拡大体の場合、直和で考えて、加算集合の加算無限次元ベクトル空間は常に加算」？

>>82 より「可算個の可算集合の和集合　　可算集合となる」だね証明はどこかにあるんだろう
http://www.f.waseda.jp/murakami/
村上順 早稲田
http://www.f.waseda.jp/murakami/jugyou/2002/suugakuGairon2002/slide606.pdf
「jugyou/2002/suugakuGairon2002/slide606」
可算集合の和集合
　　可算集合となる
可算個の可算集合の和集合
　　可算集合となる
（引用おわり）