Definition:Order of Group Element/Finite/Definition 2

Definition
Let $G$ be a group whose identity is $e_G$.

Let $x \in G$ be an element of $G$.

$x$ is of finite order, or has finite order there exists $m, n \in \Z_{> 0}$ such that $m \ne n$ but $x^m = x^n$.

Also see

 * Equivalence of Definitions of Finite Order Element