Para un cuerpo dado "K", el conjunto "K"("X") de funciones racionales en la variable "X" con coeficientes en "K" es un cuerpo; esto se define como el conjunto de cocientes de polinomios con coeficientes en "K".