清理操作可能重复执行，而且成员已经不存在属于有效状态。哪个操作最符合这一契约？

清理操作可能重复执行，而且成员已经不存在属于有效状态。哪个操作最符合这一契约？

1. members.discard(value)
2. members.remove(value)
3. members.pop()
4. del members[value]