Using Dedekind’s notion of the real numbers, show that addition of two Dedekind cuts can be defined easily by S + T = {s + t : s ? S; t ? T}. Verify that S + T is a Dedekind cut  and show that S+T = T+S