 Rational map of projective varieties

A rational map is a morphism on a dense open subset, considered up to agreement on a smaller dense open subset.

It is the projective-source-and-target case of a rational map of algebraic varieties.