\begin{definition}[Definition:Order of Group Element/Also denoted as]
The '''order''' of an element $x$ in a group is sometimes seen as $\map o x$.
Some sources render it as $\map {\operatorname {Ord} } x$.
Category:Definitions/Order of Group Elements
\end{definition}