Eintæk vörpun

Eintæk vörpun er vörpun sem hefur þann eiginleika að ólík stök í formengi hennar varpast í ólík stök í bakmenginu. Ef x er stak í formengi vörpunarinnar 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æk og átæk kallast gagntæk vörpun.