subset of a mathematical group that forms a group itself

In group theory, a branch of mathematics, given a group under a binary operation, a subset of is called a subgroup of if the elements also forms a group under the binary operation.

The situation could arise in which the subset does not comply with the binary operation.