Le frazioni sono enti aritmetici che hanno una loro aritmetica. Consideriamo, perciò, l'insieme delle frazioni, dotato delle operazioni elementari, e cerchiamo di scoprire che tipo di struttura sia. Poiché ogni razionale corrisponde a una e una sola frazione ridotta ai minimi termini, scoprire le operazioni elementari fra frazioni ci svelerà come sia fatto ℚ stesso e - finalmente! - perché sia chiuso rispetto a esse!
Per operare con le frazioni, occorre osservare un aspetto importante della notazione frazionaria: la linea di frazione separa l'intero numeratore dall'intero denominatore, come se numeratore e denominatore fossero fra parentesi.