--- a/doc-src/TutorialI/Sets/sets.tex Fri Nov 02 08:26:01 2007 +0100
+++ b/doc-src/TutorialI/Sets/sets.tex Fri Nov 02 08:59:15 2007 +0100
@@ -874,12 +874,12 @@
\label{sec:Well-founded}
\index{relations!well-founded|(}%
-A well-founded relation captures the notion of a terminating process.
-Complex recursive functions definitions \ref{sec:?????TN}
-must specify a well-founded relation that
-justifies their termination. Most of the
-forms of induction found in mathematics are merely special cases of
-induction over a well-founded relation.
+A well-founded relation captures the notion of a terminating
+process. Complex recursive functions definitions must specify a
+well-founded relation that justifies their termination
+({\S}\ref{sec:beyond-measure}). Most of the forms of induction found
+in mathematics are merely special cases of induction over a
+well-founded relation.
Intuitively, the relation~$\prec$ is \textbf{well-founded} if it admits no
infinite descending chains