Látum $f: X \to Y$ vera vörpun og $A$ vera hlutmengi í $X$. Sagt er að vörpunin \[ f|_A : A \to Y; \quad f|_A(x) = f(x) \] sé einskorðun vörpunarinnar $f$ við mengið $A$. Eini munurinn á $f$ og $f|_A$ er að $f$ hefur skilgreiningarmengið $X$ meðan $f|_A$ hefur skilgreiningarmengið $A$.