Definition:Field of Quotients/Definition 1

Definition
Let $D$ be an integral domain.

Let $F$ be a field.

$F$ is the quotient field of $D$ :
 * $(1): \quad$ There exists a ring monomorphism $\iota : D \to F$
 * $(2): \quad \forall z \in F: \exists x \in D, y \in D_{\neq 0}: z = \dfrac {\iota \left({x}\right)} {\iota \left({y}\right)}$