Definition:Integer Partition/Partition Function

Definition
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$.