Subgroup

In group theory, a branch of mathematics, given a group formula_1 under a binary operation, a subset formula_2 of formula_1 is called a subgroup of "formula_1" if the elements "formula_2" also forms a group under the binary operation.
The situation could arise in which the subset formula_2 does not comply with the binary operation.