discrete math set operations