Andhverfa
Úr Wikipediu, frjálsa alfræðiritinu
Mynd af föllunum y = ƒ(x) og y = ƒ–1(x). Punktalínan sínir y = x, en það er línan sem andhverf föll speglast um.
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.
.