Definition:Codomain of Mapping