Definition:Defined (Partial Mapping)