Mapping/Bijective/Inverse mapping/Definition