congruence class

Noun

 * 1)  An equivalence class of an equivalence relation that is a congruence.