A positive integer that is smaller than or equal to, and coprime to, another given positive integer.
''Euler's totient function φ(''n'') counts the number of totatives of ''n''.''