Definition:Mutually Inverse Bijections