isotonicity

not defined yet