# Category:Definitions/Order of Group Elements

The order of $x$ (in $G$), denoted $\order x$, is the smallest $k \in \Z_{> 0}$ such that $x^k = e_G$.