ステートメントこれであってんの？　

　写像f:A→B と、Aの部分集合C及びBの部分集合Dに対して
　　f(C)∩D≠φ ⇔ C∩f^{-1}(D)≠φ

とかじゃないと意味不明な気がする。