(математическая), группа ,элементами которой являются некоторые совокупности элементов другой группы G, а именно: классы смежности G по нормальному делителю Н.