This commit is contained in:
Robin Clark 2010-08-31 09:31:37 +01:00
parent c5402def01
commit d5d505178c

View File

@ -160,8 +160,8 @@ $$ A {\enc} C $$
\section{Representing Euler diagrams as graphs}
As the relationships {\em enclosure} and {\pic} are mutually exclusive
and {\em enclosure} is transitive and {\pic} is not, we can represent
As the relationships {\em enclosure} and {\em pair-wise intersection} are mutually exclusive
and {\em enclosure} is transitive and {\em pair-wise intersection} is not, we can represent
an {\em enclosure} relationship as a directed vertice and
{\pic} as non-directed on the same graph.
Figures \ref{fig:eulerg1} and \ref{fig:eulerg_enc} show euler diagrams with corresponding