Definition 6Injectivefff: A→BA \to BA→B is injective if f(a)=f(b)⇒a=bf(a) = f(b) \Rightarrow a = bf(a)=f(b)⇒a=b.