# Power Groups

## `Parent(G): GrpGPC -> PowStr`

The PowerStructure of category `GrpGPC`.

## `PowerGroup(G): GrpPC -> PowerGroup`

The set of all subgroups of $G$. This is very useful when constructing sets of polycyclic groups. If the user will be building a set of subgroups of a polycyclic group $G$, then it is best to specify the set’s universe to be `PowerGroup(G)`. If the set’s universe is not specified it will be the parent structure of $G$ as returned by [`Parent`](#function-grpgpc-parent)`(G)`.