>>206
習った定義通りなら (N_1)^i の代わりに∃U∈Oで
a∈U⊂N_1⊂f^(-1)(f(N_1))⊂f^(-1)(N_2)