The left operand
The right operand
The set of those integers which are in this and not in right (analogous to the bitwise operation left & (~right)), to be freed with destroy by the caller
right