Definition:Direct Image Mapping of Relation