Hyper-Extensionality and One-Node Elimination on Membership Graphs