Definition:Field of Fractions