Ensemble des nombres qui ont le même reste par la division par n.
Ces nombres sont dits congrus modulo n.
Exemple
Si on regroupe les éléments de l’ensemble H = {2, 3, 4, 6, 7, 8, 10, 11, 12} selon la relation R : … a le même reste que … quand on divise par 4, on obtient les trois classes d’équivalence suivantes : {2, 6, 10}, {3, 7, 11} et {4, 8, 12}.