What is the meaning of Lie_over?

To be deferred to a future occasion.

To intersect with at some other prime ideal ; lies over if and only if .

Source: wiktionary.org