Definition:Field of Quotients/Definition 4

Definition
Let $D$ be an integral domain.

A field of quotients of $D$ is a pair $\struct {F, \iota}$ which is its total ring of fractions, that is, the localization of $D$ at the nonzero elements $D_{\ne 0}$.

Also see

 * Equivalence of Definitions of Field of Quotients