diff --git a/MIL/C06_Structures/S02_Algebraic_Structures.lean b/MIL/C06_Structures/S02_Algebraic_Structures.lean
index df796394..c8d4ba47 100644
--- 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