在数学中的代数几何领域，域formula_1 上的有理簇是一个双有理等价于射影空间 formula_2（formula_3）的代数簇。有理性仅依赖于其函数域，更明确地说，代数簇 formula_4 是有理簇若且唯若 formula_5，其中 formula_6 是独立的变元。
古典结果.Lüroth 定理是关于有理簇的基本结论，它断言：对于有理函数域 formula_7 的子域 formula_8，若次数 formula_9 有限，而 formula_1 代数闭，则 formul