congruence_relation (231B)
1 # Congruence relation 2 3 An [equivalence_relation] preserving an [algebraic_structure], for instance it must be compatible with the group operation when defined over a [group] 4 5 See also: [normal_subgroup] 6 7 Up: [equivalence_relation]