A subset H of a group (G, â {\displaystyle \cdot } ) is called a subgroup, if (H, â {\displaystyle \cdot } ) is itself a group.