Gagntækt fall
Úr Wikipediu, frjálsa alfræðiritinu
Gagntækt fall er í stærðfræði fall sem er bæði eintækt og átækt.
Gagntæk föll eiga sér ávallt vel skilgreinda andhverfu. Þannig að ef fallið er gagntækt þá er til annað fall fall sem hefur þann eiginleika að um fyrir sérhvert stak x í A er g(f(x)) = x og sömuleikið gildir um y í B að f(g(y)) = y.