\begin{definition}[Definition:Order of Group Element/Finite/Also known as]
Let $G$ be a group.
An '''element of finite order''' of $G$ is also known as a '''torsion element''' of $G$.
Category:Definitions/Order of Group Elements
\end{definition}