在数学中的代数几何领域，域K上的有理簇是一个双有理等价于射影空间的代数簇，能由有理簇覆盖的代数簇称为单有理簇。