\begin{definition}[Definition:Mersenne Number]
A '''Mersenne number''' is a natural number of the form $2^p - 1$, where $p$ is prime.
The number $2^p - 1$, in this context, can be denoted $M_p$.
\end{definition}