Sometimes, part of the group is also a group. In that case, the part is called a "subgroup". For example, there is this subgroup of the group of isometries of a square: only the turns of the square and the identity (not the reflections in a mirror). Many useful things can be proved about groups and their subgroups.