有理分式域

包含多元多项式环的最小域.设f(x₁，x₂，…，x_n)与g(x₁，x₂，…，x_n)≠0是数域P上的两个n元多项式，

称为P上的有理分式，亦称有理函数.与一元多项式的有理分式一样，可以同样地定义多元多项式的有理分式的加法与乘法，而且也满足交换律、结合律与分配律.数域P上任意两个有理分式的和、差、积、商(除式不为零)仍为P上的有理分式.因此，P上的全体有理分式的集合构成一个域，称为数域P上的有理分式域，记为P(x₁，x₂，…，x_n).