En sentido estricto, número racional es el conjunto de todas las fracciones equivalentes a una dada; de todas ellas, se toma como "representante canónico" de dicho número racional a la fracción irreducible, la de términos más sencillos.