Injectivity

algebra

Definition

Injectivity

A relation $R\subseteq A\times B$ is called injective if different elements from the domain $A$ have different images in codomain $B$.

$$\forall a,b\in A:a\ne b⟹R(a)\ne R(b)$$