Inverse Function

Definition

$f^{-1}:Y\to X$ where $f:X\to Y$

A function that undoes the operation of $f$

Facts

$f$ is Bijective $\iff$ $\exists f^{-1}$