This is also apparently called the "sub-group order", does it make sense to expose under that name?