lie over

Short definition from Wiktionary

Verb

1. 1
   To be deferred to a future occasion.
2. 2
   Of a prime ideal q of a ring R' with subring R, to intersect with R at some other prime ideal p; q lies over p if and only if q∩R=p.