reflexive closure

kspalaiologos · Mar 11, 2023 · 96bc7f2 · 96bc7f2
1 parent ec5b5b7
commit 96bc7f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/doc/content/chapter3.tex b/doc/content/chapter3.tex
@@ -863,6 +863,8 @@ \section{Relations}
     ...   (⍸ \→≡ [∨ ∨○∧ #0] x))
 \end{Verbatim}
 
+Implementing the reflexive closure - the smallest relation on $X$ that contains $\sim$ and is reflexive - is considerably simpler and accomplished by \verb|:[tie #0 #0]@unique@flatten|.
+
 \section{Graphs}
 
 \section{Trees}
diff --git a/doc/main.pdf b/doc/main.pdf