Gagntæk vörpun

Gagntæk vörpun er vörpun, sem er bæði eintæk og átæk. Gagntæk föll eiga sér ávallt vel skilgreinda andhverfu. Dæmi: Ef fallið ${\displaystyle f:\ A\to B}$, þar sem A er formengi og B bakmengi, er gagntækt þá er til annað fall ${\displaystyle g:\ B\to A}$, með þann eiginleika að fyrir sérhvert stak x í A þá er ${\displaystyle g(f(x))=x}$. Sömuleiðis gildir um sérhvert stak y í B að ${\displaystyle f(g(y))=y}$.