\begin{definition}[Definition:Perfect Number/Definition 4]
A '''perfect number''' $n$ is a (strictly) positive integer such that:
:$\dfrac {\map {\sigma_1} n} n = 2$
where $\sigma_1: \Z_{>0} \to \Z_{>0}$ is the divisor sum function.
\end{definition}