surjective

not defined yet