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

Parents

Subset of

Real number

Context

Arithmetic structure of integers, Quotient set

Rational numbers