bijectively

not defined yet