שינויים

'''<math>\forall a\in A\ \exists b\in B:f(a)=f(b)\and \forall b\in B\ \exists a\in A:f(a)=f(b)</math>

'''<math>\forall a\in A\ \exists b\in B:a=b \and \forall b\in B\ \exists a\in A:a=b</math>