¿Qué es una función?

Una función $f$ es una regla que asigna a cada elemento de un conjunto $X$ exactamente un elemento de un conjunto $Y$.

Esta función se denota como $f: X \to Y$

El conjunto $X$ se llama dominio y el conjunto $Y$ se llama codominio.