Definition:Restriction of Mapping