Order of vanishing (${\mathrm{ord}}_p(f)$)

The order of vanishing of a nonzero rational function $f$ at a point $p$ is the exponent of a local parameter in its local factorization. A negative order is the order of a pole.