El conjunto de los números racionales es el conjunto de todas las fracciones:
Obseva que:
Si el numerador es divisible por el denominador, la fracción representa a un número entero. Así, los racionales contienen a los enteros y éstos a los naturales.
Todos los números decimales exactos o periódicos se pueden expresar en forma de fracción. Por tanto, son números racionales.
Cuando el número de decimales es infinito y no periódico, como ocurre con el número pi (π), no podemos expresarlo en forma de fracción. A estos números los llamaremos irracionales.
Proposición
La suma y el producto de dos números racionales es otro número racional.