Exercise for the reader: Show that an equivalence relation ~ on the elements of a group is respected by the group operation (meaning a~b and c~d implies ac~bd) if and only if its equivalence classes are the cosets of a normal subgroup.