定義
K を可換体とする。
H/K を拡大（過去スレpart4の512）とする。
S を H の部分集合で K 上代数的独立（>>7）であるとする。
H が K(S)（過去スレpart4の539）上代数的（過去スレpart4の633）なとき
S を H の K 上の超越基底（transcendence base）と言う。
このとき S は H/K の超越基底であるとも言う。