[(2.2.9), EGA1]

Definition 29.50.1. Let $X$, $Y$ be schemes. Assume $X$ and $Y$ have finitely many irreducible components. We say a morphism $f : X \to Y$ is birational if

1. $f$ induces a bijection between the set of generic points of irreducible components of $X$ and the set of generic points of the irreducible components of $Y$, and

2. for every generic point $\eta \in X$ of an irreducible component of $X$ the local ring map $\mathcal{O}_{Y, f(\eta )} \to \mathcal{O}_{X, \eta }$ is an isomorphism.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).