Subgroup/Definition

A subset of a group which is itself a group with respect to the group operations.