bijections

not defined yet