Si "n" es un número entero positivo, entonces φ("n") se define como el número de enteros positivos menores o iguales a "n" y coprimos con "n", es decir, formalmente se puede definir como: