Look at how is defined for , you will find it is defined as a limit of rational powers. Now look at how you might define .
CB
Is it sufficient to say that x <= a, y <= b (supremum) then x + y <= a + b
so b ^ x + y <= b ^ a + b, how do I proceed to make the >= argument so that I can wedge them and make an equivalence relation.