Formalmente, una función algebraica de "n" variables en el cuerpo "K" es un elemento del cierre algebraico del cuerpo de las funciones racionales "K"("x"...,"x").