Eintæk vörpun

Úr Wikipediu, frjálsa alfræðiritinu
Stökkva á: flakk, leita

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.