  The main result of this paper is that the categories of (right) hypergroups
over the group and of triples, consisting of a group, its subgroup and a
(right) transversal to this subgroup, are equivalent.
