Definition:Domain of Morphism