>>70
写像の定義がsource≠domainでないと
vbαはvbα+1に包含されないから
vbは∪vbαじゃなくてcolimvbα