Andhverfa
Útlit
![](http://chped.net/https/upload.wikimedia.org/wikipedia/commons/thumb/1/11/Inverse_Function_Graph.png/220px-Inverse_Function_Graph.png)
Andhverfa gagntækrar vörpunar (eða sem sértilfelli falls) er vörpun sem uppfyllir að fyrir sérhvert : og er
- .
Með öðrum orðum er samsemdarvörpunin á A og samsemdarvörpunin á B.
Gagntækni vörpunar er nauðsynlegt og nægjanlegt skilyrði fyrir því að hún eigi sér andhverfu og á vörpunin sér þá nákvæmlega eina andhverfu, þ.e. andhverfan ákvarðast ótvírætt. Stundum er rithátturinn notaður um andhverfur falla til þess að aðgreina þær frá margföldunarandhverfu sinni, .