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

<PRE>
SetToRelation: <b>trait</b>
  % Map a (finitely generated) set
  % to the relation that represents it.
  <b>assumes</b> <A HREF="SetBasics.html">SetBasics</A>, <A HREF="RelationBasics.html">RelationBasics</A>
  <b>introduces</b>
    relation: C -&gt; R
  <b>asserts</b>
    <b>forall</b> e: E, s: C
      relation({}) == \bot;
      relation(insert(e, s)) == [e, e] \U relation(s)
  <b>implies</b>
    <b>forall</b> e: E, s: C
      e \in s == e \langle relation(s) \rangle e
    <b>converts</b> relation
</PRE>

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