Determine the cardinality of a group's output from the cardinality of its input.
The group operation.
The cardinality of the group's input.
The cardinality of the group's output.
Determine the cardinality of a group's output from the cardinality of its input.