Definition:Cototient

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

Also see

 * Definition:Noncototient


 * Definition:Totient
 * Definition:Nontotient