Definition:Well-Defined Mapping