codomain

not defined yet