Definition:Image Set of Relation