In group theory, order can mean the cardinality of a group or the least positive for which a group element satisfies . If no such exists, the element has infinite order. For a finite group, Lagrange's theorem implies that each element order divides the group order.