>>95
>と言ったのは俺ではなく>>56だが？
その>>56の定義は私の「独自」のものだから
VBα⊂VBα+1
になるんですよ
だからその場合
VB=∪VBα
と定義できて万々歳って話なんですが
それはsource≠domainであるものを写像としたからこそ上手く行くわけでね