Relation Algebras Compatible with ${\mathbb{Z}}_2$-sets

We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some ${\mathbb{Z}}_2$-set. We further prove that this class is finitely axiomatizable in first-order logic in the language of relation algebras.