定義
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
>>42より L の元で K 上代数的なもの全体 M は L/K の中間体である。
M を K の L における相対代数的閉包または代数的閉包と言う。