Formalización de los números racionales

Consideramos el conjunto formado por pares de números enteros. Es decir, las parejas $(a,b)$ con $a$ y $b$ números enteros, y $b$ no nulo. Y como es natural asociaremos la fracción $\dfrac{a}{b}$ al par $(a,b)$.

La fracción $\displaystyle \frac{m\cdot a}{n\cdot b}$ con $m$ entero es igual a la fracción $\dfrac{a}{b}$ y en este sentido debemos considerar que el par $(m\cdot a, n\cdot b)$ y el par $(a,b)$ son iguales.

Esta propiedad corresponde a decir que dos pares $(a,b)$ y $(c,d)$ son iguales si se cumple que $a\cdot d=c\cdot b$, o equivalentemente: $a\cdot d -c \cdot b=0$.

Entonces los pares de números enteros, considerando iguales las parejas que cumplan la propiedad anterior, corresponden a las fracciones tal y como las hemos presentado.

Podemos definir las operaciones entre pares de números del mismo modo que hemos hecho para las fracciones.