|  HS wrote:
|  I am looking for a way to state that a relation is an equivalence relation 
|
|  IBL wrote: Here is a simple example.
|
|  Note that the IBL system controls the recursions, but many other rules 
|  systems would require that a programmer should add some control statements



some-item is used in the equivalence relation
------------------------------------------------
that-item is related by equivalence to that-item


some-item1 is related by equivalence to some-item2
--------------------------------------------------
that-item2 is related by equivalence to that-item1


some-item1 is related by equivalence to some-item2
that-item2 is related by equivalence to some-item3
------------------------------------------------
that-item1 is related by equivalence to that-item3


this-item1 is related by equivalence to this-item2
==================================================
  A                                      B
  B                                      C


some-item1 is related by equivalence to some-item2
--------------------------------------------------
that-item1 is used in the equivalence relation


some-item1 is related by equivalence to some-item2
--------------------------------------------------
that-item2 is used in the equivalence relation