En el álgebra abstracta, un subconjunto "S" de un campo "L" es algebraicamente independiente sobre un subcuerpo "K" si los elementos de "S" no satisfacen ninguna ecuación polinómica no-trivial con coeficientes en "K".