Definition:Direct Image of Mapping