A non-empty subset $H$ of a group $G$ is called a subgroup if it is closed under operations $\cdot$ and taking the inverse, i.e. the result of applying the operation to elements from $H$ gives an element from $H$ and the inverse of an element from $H$ belongs to $H$.