En sentido amplio, se llaman números racionales a todo número que puede representarse como el cociente de dos enteros con denominador distinto de cero (una fracción común). El término «racional» alude a ración o parte de un todo, y no al pensamiento o actitud racional.
Definición de suma y multiplicación en Q
- Se define la suma
- Se define la multiplicación
Relaciones de equivalencia y orden en Q
- Se define la equivalencia
cuando 
- Los racionales positivos son todos los
tales que 
- Los racionales negativos son todos los tales que
- Se define el orden
cuando 
Notación
- Los números de tipo
son denotados por 
- Las sumas de tipo
son denotadas por 
- La multiplicación de
denota a 
- Todo número
se denota simplemente por 
.
