Dalam bidang matematik, jika ialah suatu fungsi dari set
ke set
, maka fungsi songsang bagi
, juga ditulis
(dibaca "f songsang") ialah fungsi dari
ke
dengan syarat jika
maka
.
Bukan semua fungsi mempunyai songsang. Sebarang fungsi yang mempunyai songsang dipanggil fungsi boleh songsang.