What is the meaning of Lie_over?

To be deferred to a future occasion.

Of a prime ideal of a ring with subring , to intersect with at some other prime ideal ; lies over if and only if .

Source: wiktionary.org