surjection

not defined yet