在抽象代数里，一个体formula_1的子集formula_2若被称做代数独立于一子体formula_3的话，表示formula_2内的元素都不符合系数包含在formula_3内的非平凡多项式。这表示任何以formula_2内元素排成的有限序列formula_7（没有两个是一样的）和任一系数包含在formula_3的非零多项式formula_9，都会得到：特别的是，单元素集合formula_11若是代数独立于formula_3的话，若且唯若formula_13会是formula_3内的超越数或超越函数。