equivalence and monotonicity