fixed axiomatic error

1 files changed, 3 insertions, 3 deletions

diff --git a/library/numbers.tex b/library/numbers.tex
index 7d1b058..f7f6c2c 100644
--- a/library/numbers.tex
+++ b/library/numbers.tex
@@ -409,15 +409,15 @@ Definition of the order symbols
 \end{abbreviation}
 
 \begin{abbreviation}\label{less_on_reals}
-    $x \leq y$ iff it is wrong that $y < x$.
+    $x \leq y$ iff $x < y \lor x = y$.
 \end{abbreviation}
 
 \begin{abbreviation}\label{greater_on_reals}
-    $x > y$ iff $y \leq x$.
+    $x > y$ iff $y < x$.
 \end{abbreviation}
 
 \begin{abbreviation}\label{greatereq_on_reals}
-    $x \geq y$ iff it is wrong that $x < y$.
+    $x \geq y$ iff $y \leq x$.
 \end{abbreviation}