定義
K を可換体とする。
H/K を拡大（過去スレpart4の512）とする。
S を H の部分集合とする。
H の元の族 (x)、x ∈ S が K 上代数的独立（>>6）であるとき
S は K 上代数的独立あると言う。