From 951dd2b195524cb2d8f125abaa4936abaf5ae582 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Fri, 9 Aug 2024 15:33:30 +0200
Subject: fixed axiomatic error

---
 library/numbers.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'library/numbers.tex')

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}
 
 
-- 
cgit v1.2.3

