f:A→B fonksiyon olsun
⇔∀x1,x2∈A,x1≠x2⇒f(x1)≠f(x2)
⇔∀x1,x2∈A,f(x1)=f(x1)⇒x1=x2
şeklinde ifade ettiğimiz birebirliğin tanımıdır.
aynı f fonksiyonu için ;
∀x1,x2∈A,x1=x2⇒f(x1)=f(x2)
∀x1,x2∈A,f(x1)≠f(x2)⇒x1≠x2
bu ise bir fonksiyonun tanımı yanlış yazmadıysam fakat gerisini nasıl getireceğimi tam olarak bilmiyorum