Eintæk vörpun

Eintækt fall er fall þar fyrir sérvert stak í formengi fallsins er til eitt og aðeins eitt stak í myndmengi þess, þ.e. ef f er eintækt fall og x er stak í formenginu þá gildir

$\forall x_{1},x_{2}:x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2})$

Fall, sem er bæði eintækt og átækt kallast gagntækt fall.