Minden függvény egy $x \mapsto y$ hozzárendelés, aminek az inverze, ha az egyáltalán létezik, az $y \mapsto x$ fordított hozzárendelés.
Inverze csak azoknak a függvényeknek van, amik két különböző $x$-hez különböző $y$-okat rendelnek, ezt úgy mondjuk, hogy kölcsönesen egyértelműek, vagy kicsit rövidebben injektívek.