Group (mathematics)
Many useful things can be proved about groups and their subgroups, which is a study called group theory. For example, the order (number of elements) of any subgroup is always a factor of the group's order.