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".