Brief Announcement: Semantics of Eventually Consistent Replicated Sets