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 spider algebras over sets and relations as disjoint unions of groups.