Before revision:  This extends the characterization of spider algebras over sets and relations as disjoint unions of abelian groups.
After revision:  This extends the characterization of relational spider algebras as disjoint unions of abelian groups.