monotonicity

not defined yet