Definition:Inverse Image Mapping of Relation