Rational number
Set
definiendum | $ \mathbb Q \equiv \mathbb Z\times (\mathbb Z\setminus \{0\})\ /\ \{\langle \langle a,b\rangle,\langle m,n\rangle\rangle\ |\ a\ n - b\ m = 0 )\} $ |
with $a,b,n,m\in \mathbb Z$
Discussion
Reference
Wikipedia: Rational number