充要条件为 A 包含于 (B补)U(C补)充分性：(A-B)U(A-C)=(A交B补)U(A交C补)=(AU(A交C补))交(B补U(A交C补))=A交(B补UA)交(B补UC补)=A交(B补UC补) 此处利用条件=A必要性：同理可得(A-B)U(A-C)=A交(B补UC补)若等式右边=A，则可推知(B补)U(C补)包含A。
