Cardinality of a group, or where the element a of a group is the smallest positive integer m such that am = e