Об одном обобщении понятия экспоненты группы

Пусть $Х$ и $Y$ – подгруппы группы $G$. Вводится понятие экспоненты $F$ относительно $H$, обобщающие понятие экспоненты группы, и его содержательность иллюстрируется теоремами $A$, $B$, $C$.