cuando un numero es racional
Construcción formal Para poder definir los números racionales debe definirse cuando dos fracciones diferentes son equivalentes y por tanto representan el mismo número racional. , con la relación de equivalencia descrita antes. es un cuerpo, donde la clase (0,1) desempeña el papel de cero, y la clase (1,1) de uno.