Q puede definirse como el conjunto de todas las fracciones del tipo "a'/"b" donde "a" y "b" son números enteros, con "b"> 0.