Given a Dedekind cut x=A|B, Pugh defines -x as C|D, where C consists of the negatives r=-b of the e… Show more Given a Dedekind cut x=A|B, Pugh defines -x as C|D, where C consists of the negatives r=-b of the elements such that b>b’ for some and D is the complement of . Verify that -x is a Dedekind cut • Show less