Is Inclusion–Exclusion Principle still valid if $\cap$ and $\cup$ are exchanged?
5215
Can the principle of inclusion/exclusion be used to count elements in the intersection of a sequence of sets?
132129
Derivation of derangement with inclusion-exclusion
28272
Does such localization of integral extension preserve inclusion?
79165
How to show that $P(A\cup B) = P(A) + P(B) - P(A\cap B)$
103441
Proving $(A\cup B)\cap(B\cup C)\cap(C\cup A)=(A\cap B)\cup (A\cap C)\cup (B\cap C)$?
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
30770
Prove that $C\left(\bigcup_{\alpha\in I} A_\alpha\right)=\bigcap_{\alpha\in I}C\left(A_\alpha\right)$
100303
A necessary and sufficient condition for $A\cap(B+C)=(A\cap B)+C$ to hold for submodules
145058
Prove $ (A \cup B) \cap C$ = $(A \cap C) \cup (B \cap C) $
10107
Prove $A\cup (A\cap B) = A$
65486
Contraposition and law of excluded middle
137707
How to prove that $(A\cup B) \cap C \subseteq A\cup (B\cap C)$
150882
If $\Gamma \cup \{ \neg \varphi \}$ is inconsistent, then $\Gamma \vdash \varphi$
64586
How to prove that $\neg((A\cap B)\cup (\neg A \cap C)) = (A\cap\neg B)\cup (\neg A\cap \neg C)$
54497
Set Notation - Inclusion and Proper Inclusion
133500
For an outer measure $m^*$, does $m^*(E\cup A)+m^*(E\cap A) = m^*(E)+m^*(A)$ always hold?
52135
Show that $A \setminus ( B \setminus C ) \equiv ( A \setminus B) \cup ( A \cap C )$