Минимальная подгруппа

Пусть произвольное подмножество множествагруппы, попробуем выбрать подгруппугруппы, содержащуюи такую, что для всякой подгруппыиз того, чтобудет вытекать включение, т.е.– минимальная подгруппа, содержащая множество.