changeset 10372 | d1bacec57f5e |
parent 10341 | 6eb91805a012 |
child 10373 | f9211fc8cd7d |
--- a/doc-src/TutorialI/Sets/sets.tex Fri Nov 03 10:26:23 2000 +0100 +++ b/doc-src/TutorialI/Sets/sets.tex Fri Nov 03 16:53:39 2000 +0100 @@ -633,6 +633,7 @@ \section{Relations} +\label{sec:Relations} A \textbf{relation} is a set of pairs. As such, the set operations apply to them. For instance, we may form the union of two relations. Other