  Canonical relativized cylindric set algebras are used to sharpen the relative
representation theorem for weakly associative relation algebras, that every
complete atomic weakly associative relation algebra is isomorphic with the
relativization of a set relation algebra to a symmetric and reflexive binary
relation, by insuring that the atoms of the set relation algebra and its
relativization are orbits of single sequences under a group of permutations of
the underlying set. This sharpening of the relative representation theorem was
first proved for the Resek-Thompson Theorem in 1989.
