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

<PRE>
Symmetric (\rel): <b>trait</b>
  <b>introduces</b> __ \rel __: T, T -&gt; Bool
  <b>asserts</b> <b>forall</b> x, y: T
    x \rel y == y \rel x
  <b>implies</b> <A HREF="Commutative.html">Commutative</A> (\rel <b>for</b> \circ, Bool <b>for</b> Range)
</PRE>

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