Definition:Relation as Mapping