La función φ de Euler (también llamada función indicatriz de Euler o función totiente) es una  función importante en teoría de números. Si n es un número entero positivo, entonces φ(n) se define como la cantidad de enteros positivos menores a n y coprimos con n, es decir, formalmente se puede definir como:[2]​[3]​

φ(n)=|{m∈N | m≤n ∧ mcd(m,n)=1}|{\displaystyle \varphi (n)=|\{m\in \mathbb {N} \ |\ m\leq n\ \land \ \mathrm {mcd} (m,n)=1\}|}donde |·| significa la cardinalidad del conjunto descrito.
Otra forma de definir el totiente de un número natural n es indicar que es la cantidad de números enteros positivos menores que n tales que el máximo común divisor con respecto a n es igual a 1.
La función φ es importante principalmente porque proporciona el tamaño del grupo multiplicativo de enteros módulo n. Más precisamente, φ(n){\displaystyle \varphi (n)} es el orden del grupo de unidades del anillo Z/nZ{\displaystyle \mathbb {Z} /n\mathbb {Z} }. En efecto, junto con el teorema de Lagrange de los posibles tamaños de subgrupos de un grupo, proporciona una demostración del teorema de Euler que dice que aφ(n)≡1(modn){\displaystyle a^{\varphi (n)}\equiv 1{\pmod {n}}} para todo a coprimo con n. La función φ juega también un papel clave en la definición del sistema de cifrado RSA.