Andhverfa
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, .

Tengt efni 
 Samlagningarandhverfa
 Margföldunarandhverfa

Fallafræði