De Morgan's Laws for Set Difference