What is the meaning of Lie_over?

To be deferred to a future occasion.

Of a prime ideal ${\displaystyle q}$ of a ring ${\displaystyle R'}$ with subring ${\displaystyle R}$, to intersect with ${\displaystyle R}$ at some other prime ideal ${\displaystyle p}$; ${\displaystyle q}$ lies over ${\displaystyle p}$ if and only if ${\displaystyle q\cap R=p}$.

Source: wiktionary.org