for P, G, C being set st C c= G holds
P \ C = (P \ G) \/ (P /\ (G \ C))