In other words, congruence modulo \(n\) is reflexive, symmetric, and transitive, so is an equivalence relation.