一般に、可換環の環拡大 "a"⊆"b" がlying over propertyを満たすとは、"a" のすべての素イデアル "p" が "b" の素イデアル "q" の下にあることをいう。