Dominant morphism