Definition:Codomain of Morphism