Bản thân nhóm thành viên là bất biến - bạn có thể thêm thành viên mới hoặc xóa những thành viên hiện có. Vậy là xong.
Giả sử rằng một tập hợp là một tập hợp không có thứ tự của các thành viên duy nhất, hãy xem xét các kết quả có thể xảy ra là các thành viên được thiết lập có thể sửa đổi về mặt lý thuyết khi giá trị mới cho một thành viên:
- giống với giá trị cũ - không có thay đổi đối với tập hợp
- đã tồn tại trong tập hợp - tương đương với việc xóa thành viên đó
- không phải là 1 hoặc 2 - tương đương với việc xóa thành viên và thêm thành viên mới
