Математическая энциклопедия
Группа G, всякое конечное подмножество к-рой содержится в некотором конечном нормальном делителе группы G.