 Prime Weil divisor

A prime Weil divisor is one integral codimension-one closed subscheme. At its generic point, regularity in codimension one supplies a discrete valuation and hence an order of vanishing.