であれば(formula_4は自動的に "a" の素イデアルであることに注意せよ)、formula_1はformula_2 "の下にある" (formula_1 "lies under" formula_2)と言いformula_2はformula_1 "の上にある" (formula_2 "lies over" formula_1)という。