1: \begin{abstract} Givant\,\cite{giv1}  generalized the

2: notion of a pair-dense relation algebra from Maddux\,\cite{ma91} by

3: defining the notion of a \textit{measurable relation algebra}, that

4: is to say, a relation algebra in which the identity element is a sum

5: of atoms that can be measured in the sense that the ``size" of each

6: such atom can be defined in an intuitive and reasonable way (within

7: the framework of the first-order theory of relation algebras). He

8: constructed a large class of examples of such algebras using systems

9: of groups and coordinated systems of isomorphisms between quotients

10: of the groups. Unfortunately, this class of \textit{group relation

11: algebras} is not large enough to prove a generalization of Maddux's

12: representation theorem for pair-dense relation algebras, namely that

13: every atomic, measurable relation algebra is isomorphic to a set

14: relation algebra. In fact, such a generalization proves to be false:

15: there exist finite, measurable relation algebras that are not

16: representable as set relation algebras at all.

17: 

18:  In Andr\'eka-Givant\,\cite{andgiv1},

19: the class of examples of measurable relation algebras was

20: considerably extended by adding one more ingredient to the mix:

21: systems of cosets that are used to ``shift" the operation of

22: relative multiplication.  It was shown there that, under certain

23: additional hypotheses on the system of cosets, each such

24: \textit{coset relation algebra} with a shifted operation of

25: relative multiplication is an example of a complete and  atomic, measurable relation

26: algebra.

27: The class of

28: coset relation algebras  contains  examples of measurable

29: relation algebras that are not representable as set relation

30: algebras.

31: 

32: We prove in this article that the class of coset relation

33: algebras is adequate to the task of  describing all atomic, measurable

34: relation algebras in the sense that every atomic, measurable

35: relation algebra is essentially isomorphic to a coset relation

36: algebra.

37: \end{abstract}}