Непустое подмножество $H$ группы $(G, *)$, замкнутое относительно операции $*$ и взятия обратного элемента, называется подгруппой.