This is the definition of $\text{ord}_P A$ in Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of some algebraic number field and ideals are assumed to be nonzero.
Why does the paragraph above the definition justify it?