B=Yとしてfが全射でなければf(f^(-1)(Y))≠Y