[FOM] Question on Relation Algebra

[A. MANI]

Given a set of equivalence relations  on a set S, we can generate a subalgebra 
of BRA (binary relation algebra) on the set S (with operations \cup, \cap, 
\odot, ^{-1}, diagonal). Where can a complete description of the structure  
and related ones be found? 


Best

A. Mani

-- 
A. Mani
Member, Cal. Math. Soc