A function f:A→Bf:A\to Bf:A→B is injective if for all a,b∈Aa,b \in Aa,b∈A, a≠ba\neq ba=b implies that f(a)≠f(b)f(a)\neq f(b)f(a)=f(b).
Wikidata ID: Q182003