\begin{definition}[Definition:Infinite Cyclic Group/Definition 1]
An '''infinite cyclic group''' is a cyclic group $G$ such that:
:$\forall n \in \Z_{> 0}: n > 0 \implies \nexists a \in G, a \ne e: a^n = e$
\end{definition}