formal definition of monotonicity