Definition talk:Reverse Bijections

Isn't this all covered in the existing work on bijections? I can find nothing backing this definition up. --prime mover (talk) 17:56, 20 January 2018 (EST)