 By the first isomorphism theorem, the image of "A" under formula_53 is a substructure of "B" isomorphic to the quotient of "A" by this congruence.In the particular case of groups, congruence relations can be described in elementary terms as follows