In
mathematics, given a
group G under a
binary operation *, a
subset H of
G is called a
subgroup of
G if
H also forms a group under the operation *. More precisely,
H is a subgroup of
G if the
restriction of * to is a group operation on
H. This is usually denoted , read as "
H is a subgroup of
G".