代数幾何学では、代数多様体 V の函数体(function field)は、V 上の有理函数と解釈される対象から構成される。古典的な代数幾何学では、函数体は多項式の比であり、(complex algebraic geometry)では、函数体は有理型函数とその高次元類似である。現代の代数幾何学では、函数体は環の商体の元である。