这仍然是对应到一个域的常数层，该域称之为 formula_1 的函数域。另一种等价定义是 formula_16 在一般点的茎。
函数域与维度.设 formula_17 为域，formula_1 为不可约 formula_17-代数簇，则 formula_2 是 formula_17 的域扩张，有时也写作 formula_22。此扩张的超越次数等于 formula_23，此命题可以化约到仿射簇的情形，再以诺特正规化引理证明。
例子.以下设 formula_