La función inversa de una relación R es la relación R-1 donde los dominios y codominios de R y R-1 se intercambian. Para que la función inversa f-1 de una función f sea también una función, es necesario que f sea biyectiva, es decir, que cada elemento del dominio se mapee a un único elemento del codominio. La gráfica de una función inversa f-1 es la gráfica de la función f reflejada sobre un eje de 45 grados.