In mathematics, an (algebraic) function field of n variables over the field k is a finitely generated field extension K/k which has transcendence degree n over k. Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field k(x₁,...,x_n) of rational functions in n variables over k.