> I propose we create a SetDifference or RelativeComplement as Union and Intersection, define rules for membership and the rules for other set operations on it. 

Seems reasonable.