Definition:Cototient

Definition
Let $n \in \Z_{>0}$ be a (strictly) positive integer.

The cototient of $n$ is defined as:
 * $n - \phi \left({n}\right)$

where $\phi \left({n}\right)$ denotes the Euler $\phi$ function.