Eintæk vörpun

Eintækt vörpun er vörpun þar fyrir sérvert stak í formengi hennar er til eitt og aðeins eitt stak í myndmenginu. Föll eru eintækar varpanir og ef x er stak í formengi fallsins f þá gildir

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

Vörpun, sem er bæði eintækt og átækt kallast gagntæk vörpun.