Mapping/Composition/Leftinjective/Exercise/Solution