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:

$\mathrm{\forall }{x}_1,x_2:x_1\ne x_2\Rightarrow f(x_1)\ne f(x_2)$

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