在代数几何中，一个整概形formula_1 的函数域 formula_2 由 formula_1 上的有理函数组成；对于一般的概形，相应的对象是有理函数层。双有理几何研究的便是由 formula_2 所决定的几何性质。
整概形的情形.
定义.若 formula_1 是仿射整概形，formula_6 为开集，则定义 formula_7 为 formula_8 的分式域。此时 formula_2 是 formula_10 的分式域的常数层。若 formula