Definition:Order of Group Element/Finite/Also known as

Definition
Let $G$ be a group.

An element of finite order of $G$ is also known as a torsion element of $G$.