1: \begin{definition}

2:   The {\tmem{{\tmem{\tmtextit{quotient}{\tmem{}}}}}} of $(R, \leq, 0, +, -,

3:   \cdot, 1)$ \tmtextit{modulo the multiplicative set} $T$ is the presentable

4:   field $(\mathcal{P}^{\ast} (\mathcal{S}_R /_{\sim}), \subseteq, \{ \bar{0}

5:   \})$ with the hyperfield $(\mathcal{S}_R /_{\sim}, \bar{0}, \overline{+},

6:   \overline{-}, \bar{1}, \overline{\cdummy})$ defined in Theorem

7:   \ref{localization} and will be denoted by $R /_m T$.

8: \end{definition}

9: