Conversely, given a group (G, ∗), a set H, and a bijection formula_3, we can make H a group (H, formula_1) by defining: formula_10.
Если задана группа (G, ∗), множество H и биекция formula_3, мы можем сделать H группой (H, formula_1), определив: formula_10.