OK. Let's assume that R \subset X x Y is a bijection between X and Y.
Then we also have to have R-1. What is R-1 ⊂ Y x X
when i: X → X then (x,y)\inR has to be written (f(x),x) \in R and x \in X and also (f-1)y,y \in R and x \in X.
but how to show that R-1R=I abd RR-1=I ?
or do we have...