“…)°, rtrp = tr(p v^)°, where the join is taken in the lattice of equivalence relations on S and 8° means the greatest congruence on S contained in an equivalence relation 6 on S. The triple (ltrp, ker p, r tr p) uniquely determines the congruence p. By pK, pT, pT h pT r ; pk, pt, pt,, pt r we denote the greatest congruences on S having the same kernel, trace, left trace and right trace, respectively, as p; and the same with least replacing greatest. This provides eight operators on #(S) which we denote by K, T,.... Then K and k, T and t, T, and r,, T r and t r induce equivalence relations Jf, i 7 ", &l, F r , respectively, on #(S). The first one 180 M. PETRICH of these is a complete A-congruence, the remaining ones are complete congruences.…”