 Dominant morphism of affine varieties

A morphism $f:X\to Y$ of affine varieties is dominant when its image is Zariski dense in $Y$. It is dominant exactly when the pullback homomorphismis injective. When $X$ and $Y$ are irreducible, this injection extends to their function fields and gives $\dim X\ge \dim Y$.