\begin{definition}[Definition:P-Element]
Let $\left({G, \circ}\right)$ be a group.
Let $p$ be a prime number.
Let $x \in G$ be an element of $G$.
Then $x$ is a '''$p$-element of $G$''' {{iff}} its order is a power of $p$.
\end{definition}