Definition:Direct Image of Relation