>>19
もう少し詳しく言うと、f:X--YがあってYの或る開集合Uに制限して
その上で高次順像を計算すれば良い。つまりUに含まれる開集合だけを
考えれば、連接的であるか否かということは、Uがァファインの時のみ
チェックすれば良い。