代数独立是指在抽象代数里，一个域L的子集S若被称做代数独立于一子域K的话，表示S内的元素都不符合系数包含在K内的非平凡多项式。这表示任何以S内元素排成的有限序列α1， ...， αn(没有两个是一样的)和任一系数包含在K的非零多项式P(x1，……，xn)，都会得到 P(α1，……，αn) ≠ 0 的结果。代数独立是指在抽象代数里，一个域L的子集S若被称做代数独立于一子域K的话，表示S内的元素都不符合系数包含在K内的非平凡多项式。这表示任何以S内元素排成的有限序列α1， ...， αn(没有两个是一样的)和任一系数包含在K的非零多项式P(x1，……，xn)，都会得到 P(α1，……，αn) ≠ 0 的结果。特别的是，单元素集合 {α} 若是代数独立于K的话，若且唯若α会是K内的超越数或超越函数。一般而言，和于K代数独立集合的所有元素也必然会是K内的超越数或超越函数，但反之则不必然。