De Morgan azonosságok halmazokra