Less equal on partially ordered set is reflexive

avigad · Feb 10, 2024 · 002ddff · 002ddff
1 parent f50ff44
commit 002ddff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MIL/C06_Structures/S02_Algebraic_Structures.lean b/MIL/C06_Structures/S02_Algebraic_Structures.lean
@@ -14,7 +14,7 @@ it will help to consider some examples.
 
 #. A *partially ordered set* consists of a set :math:`P` and
    a binary relation :math:`\le` on :math:`P` that is transitive
-   and antireflexive.
+   and reflexive.
 
 #. A *group* consists of a set :math:`G` with an associative
    binary operation, an identity element