Membership and identity operators