de Morgan's Laws for Set Difference