| definiendum | $\langle \mathbb Q,+_\mathbb{Q},\cdot_\mathbb{Q} \rangle$ |
| postulate | $[\langle a,b\rangle]+_\mathbb{Q}[\langle m,n\rangle]=[\langle a\ n+b\ m,b\ n\rangle]$ |
| postulate | $[\langle a,b\rangle]\cdot_\mathbb{Q}[\langle m,n\rangle]=[\langle a\ m,b\ n\rangle]$ |
The operations $+$ and $\cdot$ on the right hand sides are these of arithmetic structure of integers.
We'll generally use the notation introduced in integer as well as
$\frac{a}{b}\equiv\langle a,b\rangle$
We'll also often omit the multiplication sign.
We can also introduce numerator and denominator:
| $ \mathrm{num}\frac{a}{b}\equiv a $ |
|---|
| $ \mathrm{den}\frac{a}{b}\equiv b $ |
Division or rational numbers is given by
$\frac{[\langle a,b\rangle]}{[\langle m,n\rangle]}=[\langle a\ m,b\ m\rangle]$
Wikipedia: Rational number