Catégorie : properties of congruence modulo