ok for the term "relation".
but in my proof, i used only the fact f(x) (or r(x) if you like) is unique. not bijection.