Definition Injective Relation A relation R⊆A×B is called injective if different elements from the domain A have different images in codomain B. ∀a,b∈A:a=b⟹R(a)=R(b)