booleanモデルVBとはどういうものか
それを考えるためには
VBα+1=B^VBα
で
VBα⊂VBα+1
であるように定義を考えねばならないわけ
そうでなければ
VB=colimVBα
の存在が怪しくなるからね
source≠domainの写像の定義にすることで
自然に
VBα⊂VBα+1
となるため
VB=∪VBα
がbooleanモデルとして定義できる訳だよ