\begin{definition}[Definition:Nu Function]
The '''$\nu$ function''' is the function $\nu: \Z_{>0} \to \Z_{>0}$ is defined as:
:$\forall n \in \Z_{>0}: \map \nu n = $ the number of types of group of order $n$
\end{definition}