 Given a field "K", we can consider the field "K"("X") of all rational functions in the variable "X" with coefficients in "K"; the elements of "K"("X") are fractions of two polynomials over "K", and indeed "K"("X") is the field of fractions of the polynomial ring "K"["X"].This field of rational functions is an extension field of "K".This extension is infinite.