From db10cd7f29770e38a7b7384b16b348bcf128d671 Mon Sep 17 00:00:00 2001
From: Tim Button <54142983+timbutton@users.noreply.github.com>
Date: Mon, 10 Nov 2025 16:00:29 +0000
Subject: [PATCH] Update replacement.tex

Added a footnote explaining the meaning of `term' in this context.
---
 content/set-theory/ordinals/replacement.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/content/set-theory/ordinals/replacement.tex b/content/set-theory/ordinals/replacement.tex
index 23f36fc8..53ac4ec1 100644
--- a/content/set-theory/ordinals/replacement.tex
+++ b/content/set-theory/ordinals/replacement.tex
@@ -38,7 +38,7 @@
 
 On first encounter, however, this is quite a tangled formula. The
 following quick consequence of Replacement probably gives a
-\emph{clearer} expression to the intuitive idea we are working with:
+\emph{clearer} expression to the intuitive idea we are working with:\footnote{A term is an expression which picks out exactly one object (on any completion of its free variables). For example, ``$\emptyset$'' is a term which picks out the empty set; ``$\{x\}$'' is a term which picks out $x$'s singleton (whatever $x$ might be); ``$x \cup y$'' is a term which picks out the union of $x$ and $y$ (whatever they might be).}
 
 \begin{cor}
 For any term $\tau(x)$, and any set $A$, this set exists:
@@ -69,4 +69,5 @@
 f(x)}$.} Replacement, by contrast, is a \emph{powerful} addition to
 our axioms, as we will see in \olref[sth][replacement][]{chap}.
 
-\end{document}
\ No newline at end of file
+
+\end{document}