Returns the popcount or cardinality of "a and not b" or "intersection(a, not(b))". Neither set is modified.