Given a commutative ring , the commutative ring of rational functions with coefficients in is the field of fractions of the polynomial ring .
Let be an affine variety over a field with the ring of regular function?s . A rational function is any element of the field of fractions of , that is the function field of the variety.
In either case, rational functions are equivalence classes of fractions; they need not be functions defined everywhere.