>>168
VBはcolimVBαと考えざるを得ないがそれは存在が怪しい
α<β→VBα⊂VBβ
であるように定義することができるため
この場合
VB=colimVBα=∪VBα
つまりクラスとして存在が保証されると言うこと