[<A HREF="Equivalence.ps">PostScript</A>]

<PRE>
Equivalence: <b>trait</b>
  <b>includes</b>
    (<A HREF="Reflexive.html">Reflexive</A>, <A HREF="Symmetric.html">Symmetric</A>, <A HREF="Transitive.html">Transitive</A>)(\equiv <b>for</b> \rel)
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]