From Set Membership to Group Membership: A Separation of Concerns

We revisit the well-known group membership problem, and show how it can be considered a spe- cial case of a simpler problem, the set membership problem. In the set membership problem, processes maintain a set whose elements are drawn from an arbitrary universe: they can request the addition or removal of elements to/from that set, and they agree on the current value of the set..