Let be an Integral Domain.
Then there is a Field s.t.

  1. (as Rings)
  2. Every element of can be written as for some .
    is the unique minimal field containing
    and it is called the field of fractions of .