Funzione iniettiva (o applicazione iniettiva).
Siano
A
e
B
insiemi non vuoti e sia
f : A→B
.
f
si dice
iniettiva
se, per ogni
a
1
,
a
2
∈
A
:
a
1
≠
a
2
⇒
f(a
1
)
≠
f(a
2
)
ovvero:
f(a
1
)
=
f(a
2
)
⇒
a
1
=
a
2