User:TakuyaMurata/Resolution

Order
If $$I \subset \mathcal{O}_W$$ is an ideal sheaf defining X and P a closed point of W, we let
 * $$\operatorname{ord}_P(I) = \max \{ n \in \mathbb{N} | I \subset \mathfrak{m}_P^n \}.$$