The order of a group is the number of elements of , denoted ; if is finite, then is said to be a finite group.
The order of an element is the smallest positiveinteger such that , where is the identity element; if there is no such , then is said to be of infinite order. By Lagrange's theorem, the order of any element in a finite group divides the order of the group.