Definition:Inverse Image Mapping of Mapping