Definition 67.22.1. Let $S$ be a scheme. Let $X$ and $Y$ algebraic spaces over $S$. Assume $X$ and $Y$ are decent and that $|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 $x \in |X|$ of an irreducible component the local ring map $\mathcal{O}_{Y, f(x)} \to \mathcal{O}_{X, x}$ is an isomorphism (see clarification below).

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).