source≠domainも許せば
Y⊂X
で自然と
A^Y⊂A^X
となるので
VBn⊂∪VBn=VBω
VBn+1=B^VBn⊂B^VBω=VBω+1
より
自然に
VBω=∪VBn+1⊂VBω+1
となる
これはどの極限順序数αでも同じなので
超限帰納法で常に
α<β→VBα⊂VBβ
が言えて
VB=∪VBα
の存在が保証できる