equal
deleted
inserted
replaced
631 \rulename{vimage_Compl} |
631 \rulename{vimage_Compl} |
632 \end{isabelle} |
632 \end{isabelle} |
633 |
633 |
634 |
634 |
635 \section{Relations} |
635 \section{Relations} |
|
636 \label{sec:Relations} |
636 |
637 |
637 A \textbf{relation} is a set of pairs. As such, the set operations apply |
638 A \textbf{relation} is a set of pairs. As such, the set operations apply |
638 to them. For instance, we may form the union of two relations. Other |
639 to them. For instance, we may form the union of two relations. Other |
639 primitives are defined specifically for relations. |
640 primitives are defined specifically for relations. |
640 |
641 |