Angeordneter Ring/x geq y/Negative/Aufgabe

Es sei ${}R$ ein angeordneter Ring und ${}x>y$. Zeige, dass dann ${}-x<-y$ ist.

Eine Lösung erstellen