\begin{definition}[Definition:Field of Quotients/Definition 4]
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}$.
\end{definition}