\begin{definition}[Definition:Integer Partition/Partition Function]
The '''partition function''' $p: \Z_{>0} \to \Z_{>0}$ is defined as:
:$\forall n \in \Z_{>0}: \map p n =$ the number of partitions of the (strictly) positive integer $n$.
\end{definition}