Definition:Partial Mapping