También podemos usar la notaciónx>y para representary<x y la notaciónx≥y para representary<x y la notaciónx≥y para significarx>y ox=y. Sumandoxz+yz a ambos la...También podemos usar la notaciónx>y para representary<x y la notaciónx≥y para representary<x y la notaciónx≥y para significarx>y ox=y. Sumandoxz+yz a ambos lados y usando los axiomas (1a), (3c), (1b) y (1c) obtenemosxy=(−xz+xz)+xy=−xz+(xz+xy)<−xy+(xz+xy)=−xy+(xy+xz)=(−xy+xy)+xz=xz.
