for A, B being non empty set holds Inv (A,B) is one-to-one