Определение

Конечно порожденная группа - представляет собой порожденную группу $G$ конечным множеством $S$ своих элементов.