>>8
> 集合の部分集合の全体
って本当に線型空間なんですか？
和やスカラー倍が定義できない集合でもそれが言えますか？