In matematica, una funzione  si dice invertibile se esiste una funzione tale che

per ogni , e

per ogni ;

più formalmente,

, e

,

dove indica la funzione composta e indica la funzione identità su .