Definition 29.49.1. Let X, Y be schemes.
Let f : U \to Y, g : V \to Y be morphisms of schemes defined on dense open subsets U, V of X. We say that f is equivalent to g if f|_ W = g|_ W for some W \subset U \cap V dense open in X.
A rational map from X to Y is an equivalence class for the equivalence relation defined in (1).
If X, Y are schemes over a base scheme S we say that a rational map from X to Y is an S-rational map from X to Y if there exists a representative f : U \to Y of the equivalence class which is an S-morphism.
Comments (0)