En sentido amplio, se llama número racional o fracción común, a todo número que puede representarse como el cociente de dos enteros con denominador distinto de cero –el término "racional" alude a "ración" o parte de un todo, y no al pensamiento o actitud racional, para no confundir este término con un atributo del pensamiento humano.

Fracciones de divisor 4.

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 del número racional en cuestión a la fracción irreducible, la de términos más sencillos. Las fracciones equivalentes entre sí –número racionapirobol– son una clase de equivalencia, resultado de la aplicación de una relación de equivalencia al conjunto de números fraccionarios.

Definimos un número racional como un decimal finito o infinito periódico.

Por ejemplo, el número decimal finito 0.75 es la representación decimal del número racional 3/4. El número decimal infinito periódico 0.333... es representación decimal del número racional 1/3. El número racional permite resolver ecuaciones del tipo ax = b, cuando a y b son números enteros con a distinto de cero.

El conjunto de los racionales se denota por , que significa quotient, "cociente" en varios idiomas europeos. Este conjunto de números incluye a los números enteros y es un subconjunto de los números reales.

Los números racionales cumplen la propiedad arquimediana o de densidad, esto es, para cualquier pareja de números racionales existe otro número racional situado entre ellos, propiedad que no estaba presente en los números enteros, por lo que los números racionales son densos en la recta de los números reales.