>>461
Y_1×Y_2 の開集合を Y1 と Y2に射影して、それぞれについて考えれば。