Noun
congruence class (plural congruence classes) (mathematics) An equivalence class of an equivalence relation that is a congruence.