Mathématiques, informatique, politique et poésie
L'ensemble \(\mathbb{Q}\) est l'ensemble des nombres rationnels, c'est à dire les fractions d'entiers.
Pour le construire, on définit sur ?\(\mathbb{Z} \times \mathbb{Z}^*\) la relation d'équivalence :
\(\mathbb{Q}\) est l'ensemble quotient \(\mathbb{Z} \times \mathbb{Z}^*/\sim\).