VB=∪VBα
が存在することが保証される
とは
VBの存在が保証されそれは∪VBαと一致するという意図ですよ
伝わってなかったようですね