\begin{definition}[Definition:Cototient]
Let $n \in \Z_{>0}$ be a (strictly) positive integer.
The '''cototient''' of $n$ is defined as:
:$n - \map \phi n$
where $\map \phi n$ denotes the Euler $\phi$ function.
\end{definition}