Definition 31.26.3. Let $X$ be a locally Noetherian integral scheme. Let $f \in R(X)^*$. For every prime divisor $Z \subset X$ we define the order of vanishing of $f$ along $Z$ as the integer
where the right hand side is the notion of Algebra, Definition 10.121.2 and $\xi $ is the generic point of $Z$.