写像f:X→Y と Yの部分集合Bに対して,Bがf(X) の部分集合になるときはf(f^{-}(B))=B, そうでないときはf(f^{-}(B))はBの真部分集合になる.