$f:A\rightarrow B$ fonksiyon olsun
$\Leftrightarrow \forall x_{1},x_{2}\in A,x_{1}\neq x_{2}\Rightarrow f\left( x_{1}\right) \neq f\left( x_{2}\right)$
$\Leftrightarrow \forall x_{1},x_{2}\in A,f\left( x_{1}\right) =f\left( x_{1}\right) \Rightarrow x_{1}=x_{2}$
şeklinde ifade ettiğimiz birebirliğin tanımıdır.
aynı $f$ fonksiyonu için ;
$\forall x_{1},x_{2}\in A,x_{1}=x_{2}\Rightarrow f\left( x_{1}\right) =f\left( x_{2}\right)$
$\forall x_{1},x_{2}\in A,f\left( x_{1}\right) \neq f\left( x_{2}\right) \Rightarrow x_{1}\neq x_{2}$
bu ise bir fonksiyonun tanımı yanlış yazmadıysam fakat gerisini nasıl getireceğimi tam olarak bilmiyorum