Monotonicity of Supremum