>>702
> そこで(�@)を仮定すると (f^(-1)((−∞,t]))^c ∩ U は開集合
なんで?