定義
K を可換体とする。
H/K を拡大（過去スレpart4の512）とする。
I を集合とする。
(x_i)、i ∈ I を H の元の族とする。
I の任意の空でない有限部分集合 J に対して (x_i)、i ∈ J が K 上代数的独立（>>5）であるとき
(x_i)、i ∈ I は K 上代数的独立あると言う。