a_3）的代数簇。有理性仅依赖于其函数域，更明确地说，代数簇 formula_4 是有理簇若且唯若 formula_5，其中 formula_6 是独立的变元。
古典结果.Lüroth 定理是关于有理簇的基本结论，它断言：对于有理函数域 formula_7 的子域 formula_8，若次数 formula_9 有限，而 formula_1 代数闭，则 formula_8 也是个有理函数域。翻译成几何语言，这相当于说：若对代数闭域 formula_1 上的代数曲线 formul