Los números racionales

Recordemos la definición de números racionales: Sea $latex a,b \in \mathbb{N} $ el conjunto de los números racionales $\mathbb{Q}$ se define como $latex \mathbb{Q} = \{ a,b \in \mathbb{N}: \frac{a}{b} \land \not = 0 \}$. De la ecuación del tipo $latex bx = a \quad a,b \in \mathbb{N}$ obtenemos como resultado el par $latex (a,b)$ …